Improve software documentation for safer combination of desired functionality

[elfring]

💭 I hope that some functionality can be clarified better also together with an example script (like the following) for the semantic patch language according to the development status of the software combination “Coccinelle 1.1.1-00676-g99513ec1”.

@special_selection disable decl_init@
expression action;
identifier var;
position call_pos, declaration_pos;
declaration declaration1;
statement statement1;
type t;
@@
(
(t * var@declaration_pos;
&declaration1
)
 ... when != var
     when any
(action@call_pos(..., &var, ...);
&statement1
)
 ... when exists
 var
|
*declaration1
 ... when != var
     when any
*statement1
)

🔮 Will the chances grow to improve the software documentation in ways which will make it easier to reason about desirable behaviour (also for such a test case)?