https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106967
Aldy Hernandez <aldyh at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rguenth at gcc dot gnu.org --- Comment #3 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- Hmmm, I haven't dug deep into this, but it seems PRE is creating a NAN, even though -ffinite-math-only. Is that right? Created phi prephitmp_29 = PHI <_28(10), Nan(9)> This causes us to return TRUE for this, even though we could have a NAN. static inline bool finite_operands_p (const frange &op1, const frange &op2) { return flag_finite_math_only || (!op1.maybe_isnan () && !op2.maybe_isnan ()); } finite_operands_p() must be adjusted for the case where there is a NAN in the source...but still.. is PRE supposed to be adding NANs?