It can match anywhere in the program, not necessarily in the places that
follow your assignment.
I need a bit more clarification.
@r forall@
position p;
local idexpression x;
expression f,g,e;
statement S1,S2;
@@
x@p = f(...);
... when != if (<+...x...+>) S1 else S2
when != g(...,(<+...x...+>),...)
1. Which amount of source code will be checked because of the SmPL ellipsis?
Should any scopes be considered within function implementations?
2. I have noticed that the discussed filter pattern needs another extension.
What is the best way to express the other uses besides direct function calls
in the semantic patch language?
How should function pointers be generally handled here that are used with
the access operators "." or "->"?
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
