linux/scripts/coccicheck, branch v4.7

coccicheck: Fix missing 0 index in kill loop

2016-05-19T07:56:59Z

By default, "seq" counts from 1, but processes were starting counting from 0, so when interrupted, coccicheck would leave the 0th process running. Signed-off-by: Kees Cook Acked-by: Nicolas Palix Acked-by: Julia Lawall Signed-off-by: Michal Marek

Coccinelle: fix incorrect -include option transformation

2015-10-26T20:32:09Z

kbuild/gcc uses -include option to include files and -I to provide paths for #include <> directive. In case of spatch latter option should be prefixed with two -. Signed-off-by: Andrzej Hajda Acked-by: Julia Lawall Signed-off-by: Michal Marek

Coccinelle: Update information about the minimal version required

2013-07-03T20:58:20Z

The naming convention of options has changed one year ago. The options have been recently updated in the cocci file and in scripts/coccicheck. This patch also adds this information in the documentation. Signed-off-by: Nicolas Palix Signed-off-by: Michal Marek

Coccinelle: Update the options used to the new option scheme

2013-07-03T20:58:13Z

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

coccicheck: span checks across CPUs

2013-07-03T13:26:29Z

This adds parallelism by default to the "coccicheck" target using spatch's "-max" and "-index" arguments. Signed-off-by: Kees Cook Signed-off-by: Nicolas Palix Signed-off-by: Michal Marek

Coccinelle: Make 'report' the default mode

2013-06-14T13:26:47Z

It appears that the 'report' mode is the one always provided by the semantic patches included in the kernel. It is thus more natural to select it by default. The 'chain' mode is however kept and the 'patch' mode is still the first tried in that case. Signed-off-by: Nicolas Palix Signed-off-by: Michal Marek

Coccinelle: Fix patch output when coccicheck is used with M= and C=

2013-04-08T13:42:03Z

When the M variable is used, the -patch option should be given to spatch. This patch fixes the case where C is used. Signed-off-by: Nicolas Palix Signed-off-by: Michal Marek

Coccinelle: Add support to the SPFLAGS variable

2013-04-08T13:42:03Z

The SPFLAGS variable allows to pass additional options to spatch, e.g. -use_glimpse. Signed-off-by: Nicolas Palix Signed-off-by: Michal Marek

Coccinelle: Cleanup the setting of the FLAGS and OPTIONS variables

2013-04-08T13:42:02Z

The FLAGS variable is factorized independently of the ONLINE mode. The OPTIONS variable is now based on LINUXINCLUDE and explicit includes are thus removed. The format of the -I option differs between gcc and spatch. The COCCIINCLUDE is used to adapt the format. This rewritting needs bash. Signed-off-by: Nicolas Palix Signed-off-by: Michal Marek

Coccinelle: Restore coccicheck verbosity in ONLINE mode (C=1 or C=2)

2013-04-08T13:42:02Z

A recent patch have introduce the VERBOSE variable and comments now depend on it. However, the message printed for each cocci file such not be printed when the ONLINE mode is active, whatever is the value of VERBOSE. Signed-off-by: Nicolas Palix Signed-off-by: Michal Marek