[Bug tree-optimization/106967] [13 Regression] ICE in upper_bound, at value-range.h:348 since r13-2713-g917461478d3bb733

[aldyh at gcc dot gnu.org]

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?