>> ( if (input) is >> | if (likely(input)) is >> ) >> else es > > This is not allowed. Inside a disjunction you need to have complete terms.
I imagine that it would be nice if parts from an if statement could be written in the shown way. Would such an extension be useful for the semantic patch language? I can easily adjust my simple pattern here because each if branch will be matched by a metavariable. I hope that the corresponding repetition of bigger subpatterns can be avoided in the future. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
