[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