Hello, I have read in your documentation about adjustments for function arguments. http://coccinelle.lip6.fr/docs/main_grammar011.html#toc2
Now I am interested if the software tool supports the check if the corresponding return value is used after the function call. How can it be detected by the semantic patch language if a result from a function with a non-void return type will be actually used. I have got the impression that this is not possible so far because the tool looks only for places in the source code that are present and not what seems to be missing. - Assignment to a variable - Reuse of the value in a conditional expression or as another function parameter Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
