>> 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?
>
> Yes.

I get a parse error also for the following SmPL script variant.

@check@
expression x;
statement es;
@@
*if ( \( !(x) \| x == NULL \) )
*   <+... *(x) ...+>;
 else
    es


Can it be avoided to express assignment variations explicitly?

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

Reply via email to