> ( > ex1 = action(...); > ex2 = <+...ex1...+>; > | > *ex1 = action(...); > ex2 = value; > ) > > is perhaps what you are looking for.
I would prefer an approach where the expressions “ex1” and “value” could be compared somehow directly instead of matching an unwanted branch in a SmPL disjunction. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
