>> @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?
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
