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