[Cocci] junk output

[Cocci] junk output

[Artem Bityutskiy]

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
left
left
left
left
right
right
right
right
right
right
left
left
left
left
left
left
left
left
left
left

Notice these lefts and rights.

$ rpm -q coccinelle 
coccinelle-1.0.0-0.rc14.6.fc18.x86_64

Any suggestions?

Thanks!

-- 
Best Regards,
Artem Bityutskiy

[Cocci] junk output

[Richard W.M. Jones]

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] junk output

[Artem Bityutskiy]

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!

-- 
Best Regards,
Artem Bityutskiy

[Cocci] junk output

[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/

[Cocci] junk output

[Julia Lawall]

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