>> @assignment@
>> expression x, y;
>> @@
>> * y = ... *(x) ...;
>
> This doesn’t do what you think.

This might be.


> It matches a series of statements, I’m not even completely sure how.

Such a feedback is also interesting.
My imaginations evolved in other directions.


> There can’t be a series of statements before an else.

This view can depend on the interpretation around the handling of compound 
statements,
can't it?


> You want <+...  ...+>

Does this SmPL construct help to restrict a source code search element
(while using SmPL ellipses) to a single statement for the shown analysis 
example?

Will the support for unary operations need any further development 
considerations?

Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to