On Wed, 10 Jun 2020, Markus Elfring wrote:
> >> 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.
You don't. The when you have is useless.
julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
