[Cocci] junk output

[rjones@redhat.com (Richard W.M. Jones)]

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/