To collect function calls that have a return value of a given type t, it should be sufficient to do the following:
@@ t e; identifier f; @@ f(...)@e The @e notation reaches upwards to match the innermost enclosing term of the right kind (here expression). t can of course be arbitrarily complicated. julia _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci