- return (constraint_makeEnsuresOp (e1, e2, sequencePoint, EQ));
+ if (FALSE) /* (!ctype_almostEqual (exprNode_getType (e1), exprNode_getType (e2))) */
+ {
+ /* If the types are not identical, need to be careful the element sizes may be different. */
+ //! return (constraint_makeEnsuresOp (e1, e2, sequencePoint, CASTEQ));
+ BADBRANCH;
+ }
+ else
+ {
+ return (constraint_makeEnsuresOp (e1, e2, sequencePoint, EQ));
+ }