On Sun, 25 Aug 2019, Markus Elfring wrote:
> >> @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?
Yes.
>
> Will the support for unary operations need any further development
> considerations?
No, the precedence should be ok as is.
julia
> Regards,
> Markus
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
