[Cocci] Replacement of function calls and corresponding parameters

[SF Markus Elfring]

> 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