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 Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones libguestfs lets you edit virtual machines. Supports shell scripting, bindings from many languages. http://libguestfs.org _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
