From mboxrd@z Thu Jan  1 00:00:00 1970
From: rjones@redhat.com (Richard W.M. Jones)
Date: Fri, 26 Apr 2013 15:07:01 +0100
Subject: [Cocci] junk output
In-Reply-To: <1366985060.3603.37.camel@sauron.fi.intel.com>
References: <1366984337.3603.34.camel@sauron.fi.intel.com>
 <20130426135730.GE1381@redhat.com>
 <1366985060.3603.37.camel@sauron.fi.intel.com>
Message-ID: <20130426140701.GF1381@redhat.com>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

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/