> 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. Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci