On Thu, 14 Jun 2012 20:55:12 +0200, Julia Lawall <[email protected]>
wrote:
The problem is that there is an isomorphism that removes casts that no
one
seems to care about, ie where the casted type is not used otherwise. But
in this case, it means that the rule can match in two ways. The solution
it to disable the isomorphism. Make the very first line be
@disable drop_cast@
Julia
Hmm, if I remember correctly, this worked for me:
@@
type T;
T E;
@@
-(T)
E
Sascha
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
