> You can also match on the prototype of the function with a type > metavariable T. > > After my "ok" rule, you could introduce: > > @get_type depends on !ok@ > identifier r.f; > type T; > @@ > > T f (...);
I am sorry that I overlooked such an approach. This rule combination was not so obvious for me from the SmPL syntax documentation. Would you like to add it to the example chapter? Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
