[Cocci] Finding unstored return values with SmPL

[elfring@users.sourceforge.net (SF Markus Elfring)]

Hello,

I can find some function calls with the help of the semantic patch
language easily.
But I see further software development challenges in the following use cases.

1. The return value was not used for the initialisation of a variable.

2. The return value was not assigned to another variable.


Do I need to fiddle with SmPL position variables to determine if an assignment
is not performed together with a call within a function implementation?

I would appreciate your advices for such a source code analysis.

Regards,
Markus