[Cocci] Questions about coccinelle

[Cocci] Questions about coccinelle

[藤本太希]

[-- Attachment #1.1: Type: text/plain, Size: 285 bytes --]

Hello.
I am a student of Kochi University of Technology in Japan.
I have asked a question before.
Thank you for all your help on that occasion.
This time I have one questions about to create rule.

I would like to apply rule2 only to routes that did not match rule1.
What should I do?

[-- Attachment #1.2: Type: text/html, Size: 1160 bytes --]

[-- Attachment #2: Type: text/plain, Size: 136 bytes --]

_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Questions about coccinelle

[Julia Lawall]

[-- Attachment #1: Type: text/plain, Size: 724 bytes --]



On Wed, 23 Jan 2019, 藤本太希 wrote:

> Hello.
> I am a student of Kochi University of Technology in Japan.I have asked a question before.
> Thank you for all your help on that occasion.
> This time I have one questions about to create rule.
>
> I would like to apply rule2 only to routes that did not match rule1.
> What should I do?

I could probably better answer the question if you could send the actual
code.

Perhaps you can put a position variable in rule1, and then declare another
position variable in rule2, and be sure that the position in rule2 is
different than the position in rule1.  For example:

@r@
position p;
@@

f@p(0);

@@
position p != r.p;
expression e;
@@

f@p(e);  // won't match f(0)

julia

[-- Attachment #2: Type: text/plain, Size: 136 bytes --]

_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci