> @find@
> identifier f, x;
> type ft, xt;
> @@
> ft f(...)
> {
> ... when any
> xt x;
> ... when != x
> }If you put when strict additionally on the second ..., then everything should be fine. Without when strict, it will skip over error handling code (an if with only a then branch that ends with some kind of jump) if doing so is necessary to get a match. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
