On Fri, 30 Oct 2015, SF Markus Elfring wrote: > > When you have ..., the thing after the ... has to come after (in the > > control-flow graph) the thing before the ... So this would only match > > code that has a call to f followed by a call to g followed by a call to f > > followed by a call to g. In particular, if the C code has no loops, then > > it must contain two calls to g. > > I would find such a situation also occasionally interesting for specific > function implementations. > > > > If you look a demos/conjunction.c, both of the C functions contain only > > one call to g, so neither would match your pattern. > > I find it strange that the function name "main" is repeated without > conditional compilation statements in this source code example.
The code is not intended to be run. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
