>> @display@
>> int i;
>> @@
>>  return
>> *       -i
>>  ;
…
>> Why are source code places presented which do not contain a key word
>> I was looking for this test approach?
>
> I don't know.  With --debug you can see that there are only two matches.
> So maybe it is a pretty printing problem.

Can another tiny source file example help here for further clarification?

elfring@Sonne:~/Projekte/Coccinelle/janitor> spatch 
show_returns_of_negative_integers2.cocci ../Probe/enum-test1.c
…
@@ -1,5 +1,3 @@
 int my_test(void)
 {
-enum { x } e;
-return -1;
 }


How can such a software situation be improved?

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

Reply via email to