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
> [email protected]
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
