[Cocci] [PATCH] Coccinelle: use false positive annotation

/// is to describe the semantic patch, while //# indicates reasons for false positives. Signed-off-by: Julia Lawall --- scripts/coccinelle/misc/ifcol.cocci |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/coccinelle/misc/ifcol.cocci

Re: [Cocci] [PATCH] coccinelle: fix verbose message about .cocci file being run

Hi Jim 2017-10-28 8:56 GMT+09:00 Jim Davis : > On Wed, Oct 25, 2017 at 9:55 PM, Masahiro Yamada > wrote: >> If you run coccicheck with V=1 and COCCI=, you will see a strange >> path to the semantic patch file. For example, run the following:

Re: [Cocci] [PATCH] coccinelle: fix verbose message about .cocci file being run

On Wed, Oct 25, 2017 at 9:55 PM, Masahiro Yamada wrote: > If you run coccicheck with V=1 and COCCI=, you will see a strange > path to the semantic patch file. For example, run the following: > > $ make V=1 COCCI=scripts/coccinelle/free/kfree.cocci coccicheck > [

Re: [Cocci] [PATCH] coccinelle: grep Options and Requires fields more precisely

Le 26/10/17 à 06:59, Julia Lawall a écrit : On Thu, 26 Oct 2017, Masahiro Yamada wrote: 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