> Furthermore, ... matches the shortest path between two points. It seems that I am still not so used to all combinations of the SmPL ellipsis.
> That is, in your rule, you will only match the case where a control-flow patch > contains exactly one call to either exit or fprintf. If you want to allow > more occurrences, you can use <... ...> with searches for 0 or more or > something, or <+... ...+> which searches for one or more. I guess that the last option is more appropriate for my source code search pattern. Thanks for your explanation. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
