[Bug rtl-optimization/85811] Invalid optimization with fmax, fabs and nan

glisse at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Wed May 16 21:37:00 GMT 2018


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85811

--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
tree_binary_nonnegative_warnv_p for RDIV_EXPR does RECURSE (op0) && RECURSE
(op1), but that doesn't work so well when the denominator can be 0. I guess it
is still ok when finite-math-only (or no-nans and no-signed-zeros maybe?), or
when we can prove that the denominator is non-zero.


More information about the Gcc-bugs mailing list