linux.git/scripts/coccinelle/null, branch v6.18.21

update Coccinelle URL

2022-08-07T19:30:36+00:00

Signed-off-by: Julia Lawall

treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 505

2019-06-19T15:11:22+00:00

Based on 1 normalized pattern(s):

  gplv2

extracted by the scancode license scanner the SPDX license identifier

  GPL-2.0-only

has been chosen to replace the boilerplate/reference in 58 file(s).

Signed-off-by: Thomas Gleixner 
Reviewed-by: Enrico Weigelt 
Reviewed-by: Allison Randal 
Reviewed-by: Kate Stewart 
Cc: linux-spdx@vger.kernel.org
Link: https://lkml.kernel.org/r/20190604081207.556988620@linutronix.de
Signed-off-by: Greg Kroah-Hartman

coccinelle: deref_null: improve performance

2018-05-22T14:00:23+00:00

Move rules looking for some special cases of safe dereferences before
the collection of NULL-tested values.  The special cases are fairly
rare, but somewhat costly to find, because isomorphisms create many
variants of the rules.  There is thus no need to search for them over
and over for each NULL tested expression.  Collecting them just once
is sufficient and more efficient.

Signed-off-by: Julia Lawall 
Signed-off-by: Masahiro Yamada

coccinelle: deref_null: avoid useless computation

2018-02-07T15:16:12+00:00

The effect of the rules ifm1, pr11, and pr12 is only used in the final rule,
which depends on context && !org && !report.  Thus these rules should only
be performed in those circumstances.

Signed-off-by: Julia Lawall 
Signed-off-by: Masahiro Yamada

coccinelle: grep Options and Requires fields more precisely

2017-11-14T14:19:04+00:00

Currently, the required version for badzero.cocci is picked up from
its "Comments:" line since it contains the word "Requires".

Surprisingly, ld-version.sh can extract the version number from the
string "Requires Coccinelle version 1.0.0-rc20 or later", but this
expectation is fragile.  Fix the .cocci file.  I removed "-rc20"
because ld-version.sh cannot handle it.

Make the coccicheck script to see exact patterns for "Options:" and
"Requires:" in order to avoid accidental matching to what just happens
to appear in comment lines.

Signed-off-by: Masahiro Yamada 
Acked-by: Julia Lawall 
Acked-by: Nicolas Palix

scripts/coccinelle: fix typos

2015-10-26T21:26:23+00:00

Fix a couple spelling mistakes.

Signed-off-by: Julia Lawall 
Signed-off-by: Michal Marek

coccinelle/null: solve parse error

2014-08-06T10:10:17+00:00

This patch solves the parse-error by adding @@ . This is necessary since
Coccinelle version 1.0.0-rc20. Also, the comment is added to use a
recent version of Coccinelle.

Signed-off-by: Himangi Saraogi 
Acked-by: Julia Lawall 
Signed-off-by: Michal Marek

Coccinelle: Update the options used to the new option scheme

2013-07-03T20:58:13+00:00

spatch has changed its option scheme.
E.g., --no_show_diff is now --no-show-diff

This patch updates:
 - scripts/coccicheck
 - Semantic patches under scripts/coccinelle/

Signed-off-by: Nicolas Palix 
Signed-off-by: Michal Marek

coccinelle: semantic patch converting 0 test to null test

2012-02-24T23:07:11+00:00

Signed-off-by: Julia Lawall 
Signed-off-by: Michal Marek

scripts/coccinelle: improve the coverage of some semantic patches

2012-01-14T23:05:46+00:00

This patch ensures that all semantic patches in the scripts/coccinelle
directory provide the report option.  Report messages that include line
numbers now have the line number preceded by "line" for easier subsequent
processing.

Signed-off-by: Julia Lawall 
Signed-off-by: Michal Marek