From mboxrd@z Thu Jan 1 00:00:00 1970 From: francois.berenger@inria.fr (Francois Berenger) Date: Thu, 04 Dec 2014 11:40:32 +0100 Subject: [Cocci] What is the spatch file for this change and the corresponding spatch command line invocation In-Reply-To: References: <547F4892.6080405@inria.fr> <548034AB.2070400@inria.fr> Message-ID: <54803A20.2080207@inria.fr> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr 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 >> Cocci at systeme.lip6.fr >> https://systeme.lip6.fr/mailman/listinfo/cocci >> -- Regards, Francois.