On Thu, 11 Sep 2014, Richard Biener wrote:

+ /* We can't reassociate floating-point or fixed-point plus or minus
+    because of saturation to +-Inf.  */
+ (if (!FLOAT_TYPE_P (type) && !FIXED_POINT_TYPE_P (type))

Do you remember if there was a particular reason not to add
  || flag_associative_math
when this was in forwprop?

--
Marc Glisse

Reply via email to