> I'm not sure what is the point of the if (input) is else es pattern. Now it seems that I added it because of too few considerations for isomorphisms.
> I would think you only want to find cases where the function does nothing > until it tests input and aborts the function is the value is 0. So you > only want the return case. Before it, you would want > > ... when != S > > where S is a statement typed metavariable. That way the ... will only > match declarations. We have got different expectations about the amount of source code before the statement "return". A bit more fine-tuning with the SmPL construct "when" might be needed to achieve further constraints. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
