On Fri, 2013-04-26 at 14:57 +0100, Richard W.M. Jones wrote: > On Fri, Apr 26, 2013 at 04:52:17PM +0300, Artem Bityutskiy wrote: > > Hi Julia, Richard, > > > > not sure if this was already reported, but the latest Fedora 18 > > coccinelle produces a lot of junk. Just an example using the linux > > kernel scripts: > > > > $ spatch -sp_file ./scripts/coccinelle/free/clk_put.cocci > > drivers/gpio/gpio-sch.c > > > > init_defs_builtins: /usr/share/coccinelle/standard.h > > HANDLING: drivers/gpio/gpio-sch.c > > No matches found for clk_get clk_put > > Skipping:drivers/gpio/gpio-sch.c > > left > > left > > left > [...] > > I can confirm this happens. I have filed a bug: > > https://bugzilla.redhat.com/show_bug.cgi?id=957169
Oh, many thanks Richard for looking at this so quickly and creating a bug! -- Best Regards, Artem Bityutskiy _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
