[Cocci] Finding unstored return values with SmPL

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

> typedef int mytype;
> 
> mytype x;
> 
> Clearly this would not be the same as
> 
> typedef int x;

I see a bit more here.

But my knowledge in the application of the semantic patch language
is still evolving also around such details. The corresponding distinction
is not clear enough for me so far.

Is the handling of "typedefs" another detail for later considerations?



>> I am still unfamiliar with the consequences from the use of 
>> variables like "v" and "x" when they are not position variables
>> as you suggest in your example script.
> 
> They match the closest enclosing expression.

I see that there are also a few other items mentioned in the manual.
Unfortunately, the description is terse.
https://github.com/coccinelle/coccinelle/blob/af8131522ee9aff575e4345f5068f4f138264cd6/docs/manual/cocci_syntax.tex#L258

But I am unsure about when this special SmPL construct will help
in the discussed use case.

Regards,
Markus