>> I hoped that my specification of a SmPL code exclusion should prevent
>> the presentation of assignments (independent from statements and/or 
>> expressions).
>
> (
> e = e1
> |
> *e
> )

@display@
expression e;
@@
*brelse(e);
 <+... when != e = ...
(e = ...
|
*e
)...+>


I would find it nicer if I do not need to repeat a code exclusion specification
as the first element of a SmPL disjunction for this special use case.

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to