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

Julia Lawall julia.lawall at lip6.fr
Wed Nov 8 14:12:50 CET 2017



On Tue, 7 Nov 2017, Masahiro Yamada wrote:

> 2017-10-26 16:22 GMT+09:00 Nicolas Palix (LIG) <Nicolas.Palix at imag.fr>:
> > Le 26/10/17 à 06:55, Masahiro Yamada a écrit :
> >>
> >> 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
> >>    [ snip ]
> >>   The semantic patch that makes this report is available
> >>   in scriptcoccinelle/free/kfree.cocci.
> >>
> >> Notice "s/" was dropped from "scripts/coccinelle/free/kfree.cocci".
> >>
> >> When running coccicheck without O=, $srctree is expanded to ".", which
> >> represents one arbitrary character in the regular expression.  Using
> >> sed is not a good choice here.  Strip $srctree/ simply without sed.
> >>
> >> Signed-off-by: Masahiro Yamada <yamada.masahiro at socionext.com>
> >
> > Acked-by: Nicolas Palix <nicolas.palix at imag.fr>
> >>
> >> ---
>
> Applied to linux-kbuild/misc.

Thanks!

julia


More information about the Cocci mailing list