> Your approach finds a function definition. Yes. - I assumed that it might also be relevant.
> My approach works on the call directly, using whatever type information is > available. The connection between the SmPL specification "f(...)@e" and the desired return type was not obvious for me so far. Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci