On Mon, 18 Aug 2014, SF Markus Elfring wrote:
> > @@ > > expression e,x; > > identifier f; > > @@ > > > > + e->f[ > > - *( > > <+... > > ( > > - (e->f + x) > > + x > > | > > + x > > - (x + e->f) > > ) > > ...+> > > - ) > > + ] > > Does the issue "isomorphism" matter in the shown addition? I don'tknw if there is one for the commutativity of addition. If there is then the disjunction is not needed. "matter" implies that something could go wrong. Nothing could go wrong, whether the rule is redundnt or not. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
