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. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones virt-df lists disk usage of guests without needing to install any software inside the virtual machine. Supports Linux and Windows. http://people.redhat.com/~rjones/virt-df/ _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
