Re: [cocci] how to check a for "don't care" state of a variable?

[Markus Elfring <Markus.Elfring@web.de>]

> - x = e;
>   ... when != x
> ? x = e';
>
> The ? will stop the match if the thing is found,

You suggested to delete an assignment statement by a single SmPL rule.
I would miss the replacement then for the assignment target in
a macro/function call parameter.


> but won't require the presence of that thing for the match to be successful.

Thus I propose to reconsider the transformation approach in more detail.

I would expect that it needs to be determined if the assignment target
would be used at other places within a code block before a code modification
can be applied by a subsequent SmPL rule.
Will the algorithm require any additional case distinctions accordingly?

Regards,
Markus