On Thu, 15 Dec 2011, SF Markus Elfring wrote:
when != f(...,(<+...y...+>),...)
I imagine that I will need further fine-tuning for this filter
specification.
Can the inner parentheses be omitted here?
You can try it. If you get a parse error, then they cannot. In any case,
an isomorphism will get rid of them.
identifier r.f != {strcpy, strcat};
Is it possible to specify this function list only once and include/share it
for several SmPL constraint declarations?
No.
char* x = (char*) malloc(123);
[...]
FILE* c = fopen(x, "r");
Do you see the reason why these statements are not marked with a leading
minus character like the other function calls in my source code example?
If you express an assignment by putting a ; at the end of it, then the
assignment is considered to be the complete statement. More happens here,
as there is also a variable declaration. This will be matched if you put
an assignment expression, ie an assignment without the semicolon.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
