Here is a possibility. It is susceptible to "already tagged token" errors when there are two dereferences in the sum. Assuming that at most one of them has a pointer type, it should be easy to fix. I can do that toorrow. But doing that would require type information, which would require type information, so it oculd makesense to do what is wanted with this more efficient rule first.
julia @@ expression e,x; identifier f; @@ + e->f[ - *( <+... ( - (e->f + x) + x | + x - (x + e->f) ) ...+> - ) + ] _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
