> > when the return types are available. > > Would you like to give any more hints for this special condition?
The type is available if the definition or prototype is available. It depends on whether the prototype is in a file that Coccinelle can see when it considers a given .c file. > > @@ > > type T; > > T x; > > Would the specification "type x" be also sufficient? Not at all. That would make x be a type. You want it to be an expression, of some type. > > identifier f; > > void v; > > @@ > > > > ( > > f(...)@v; > > | > > *f(...)@x; > > ) > > Does the first pattern take precedence over the last one Yes, always. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
