Why don't you just put a * in the is_assigned rule?
I try to distinguish direct function calls from calls to member functions.
That rule describes the case where a variable is assigned and not used afterwards.
I "struggle" with some implementation details for the semantic patch language.
But I think you will need to add when any to your when list, to avoid the shortest path issue. Or not make the following disjunction: ( y@p = (t) (x)(...) | y@p = (t) (u)->mf(...) | y@p = (t) (u).mf(...) ) which indeed serves no purpose, because the first line matches everything that the other two lines match.
Where should I specify different SmPL constraints for the names of function pointers in data structures?
Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
