> - foo(E)
> + bar(E->x,0)

I read this pattern in a way that variable definitions and assignments are not
taken into account before the function call when it matches.


> But there is no general rule for all problems.  If the arguments are 
> computed in completely random ways, and the context uses the return value 
> in completely random ways, then Coccinelle is probably not very useful.

The desired update might require data flow analysis.

Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to