https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106967
--- Comment #6 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- > > 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? What i meant to say here was the users of finite operands p must not assume they have bounds even if this returned true. Users of lower and upper bound must first very !undefined and !known_isnan.
