>> Does the issue "isomorphism" matter in the shown addition? > I don'tknw if there is one for the commutativity of addition.
I try to clarify this implementation detail a bit more. > If there is then the disjunction is not needed. I wondered if such a repetition can be avoided in the semantic patch. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
