[Cocci] What is the spatch file for this change and the corresponding spatch command line invocation

Julia Lawall julia.lawall at lip6.fr
Thu Dec 4 11:29:13 CET 2014


On Thu, 4 Dec 2014, Francois Berenger wrote:

> Hello,
>
> What is the spatch command line you used and which version of coccinelle are
> you using?
>
> I tried this:
>
> # apply.spatch is your exact proposal
> spatch --sp-file apply.spatch test_before.c -o /dev/stdout

spatch apply.spatch test_before.c

See what happens if you add -debug to the argument list.

julia

>
> Then I see on stdout the exact same file than what's in test_before.c
>
> On 12/03/2014 07:13 PM, Julia Lawall wrote:
> > @@
> > expression i;
> > @@
> >
> > for ( ; ;
> > - ++i
> >      ) {
> >    if (1) {
> > +   ++i;
> >      continue;
> >    }
> > }
> >
> > julia
>
> --
> Regards,
> Francois.
> _______________________________________________
> Cocci mailing list
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>


More information about the Cocci mailing list