[Cocci] "TODO: FunCall" in python match printing

Julia Lawall julia at diku.dk
Fri Mar 6 10:23:34 CET 2009


> >> @r exists@
> >> expression b;
> >> typedef uint8_t;
> >> volatile uint8_t a;
> >> position p1;
> >> @@
> >>  a at p1 = b;

Another small detail: In this semantic patch "exists" is not necessary.  
Exists is only necessary when there are ...s.  In that case one can want 
to express that from some term A every path reaches some term B or that 
from A there exists a path that reaches some term B.  But here you have no 
...s, so wth or without exists the result is the same.

julia


More information about the Cocci mailing list