On 12/04/2014 11:29 AM, Julia Lawall wrote:
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.

# spatch -debug -sp apply.spatch test_before.c
init_defs_builtins: /home/berenger/.opam/4.01.0/share/coccinelle/standard.h
-----------------------------------------------------------------------
processing semantic patch file: /tmp/sp-15933-b4165a.cocci
with isos from: /home/berenger/.opam/4.01.0/share/coccinelle/standard.iso
-----------------------------------------------------------------------
@@
@@
* apply.spatch

warning: line 3: should apply be a metavariable?
(ONCE) Expected tokens spatch apply
Skipping:test_before.c
Check duplication for 0 files
@@
@@
* apply.spatch

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


--
Regards,
Francois.
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to