[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 12:00:55 CET 2014


On 12/04/2014 11:40 AM, Francois Berenger wrote:
> 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?

In my whole apply.spatch file, there is nothing named apply ...
I am puzzled.

> (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.


More information about the Cocci mailing list