> Coccinelle does type inference, including the return types of functions
This functionality is nice. > when the return types are available. Would you like to give any more hints for this special condition? > The simple solution is thus just: Your SmPL script suggestion looks interesting. > @@ > type T; > T x; Would the specification "type x" be also sufficient? > identifier f; > void v; > @@ > > ( > f(...)@v; > | > *f(...)@x; > ) Does the first pattern take precedence over the last one which should show the really interesting case by the asterisk operation? Do I need to consider search pattern priorities here? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
