On Thu, 14 Nov 2019, Markus Elfring wrote:
> >> @replacement@
> >> binary operator bo = { +, * };
> >> expression x, y;
> >> @@
> >> +compute(
> >> x
> >> - bo
> >> + ,
> >> y
> >> + )
> >
> > I can't figure out what this is an example of?
>
> It shows just a possible transformation specification where a SmPL constraint
> is applied instead of a related SmPL disjunction.
>
> See also:
> https://lore.kernel.org/cocci/[email protected]/
> https://systeme.lip6.fr/pipermail/cocci/2019-November/006582.html
>
>
> > Does this work or not?
>
> This bit of SmPL code gets parsed by the Coccinelle software as expected.
>
> Does it demonstrate similar development opportunities?
OK, so we have an example that works. What doesn't work that you are
asking about?
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
