On Fri, 26 Apr 2013, Richard W.M. Jones wrote: > On Fri, Apr 26, 2013 at 05:04:20PM +0300, Artem Bityutskiy wrote: > > 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! > > I don't know why it happens, but updating to -rc17 fixes it, > so I'll get an update in soon.
Sorry about that. I'm glad that the problem is already fixed :) julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
