> If you want to do something about a variable declaration and use, you can > make a pattern that has those and ... in between. You can put some > constraints on the control-flow path matched by the ... using when.
I see a "problem" in the wording to express the fact in SmPL that the passed parameters are referenced before and during the function call and must also be updated only after the old function was found. Can corresponding adjustments be specified after the match for places in the source code (like variable assignments) that appear usually earlier? Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
