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

Francois Berenger francois.berenger at inria.fr
Thu Dec 4 11:17:15 CET 2014


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

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.


More information about the Cocci mailing list