[Bug middle-end/90248] [8/9 Regression] larger than 0 compare fails with -ffinite-math-only -funsafe-math-optimizations

jakub at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Thu Apr 25 12:41:00 GMT 2019


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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Yeah, all those look quite questionable, -fno-signed-zeros doesn't mean 0.0 or
-0.0 won't appear, just that it shouldn't matter if 0.0 or -0.0 appears.
So the > 0.0 and <= 0.0 cases look completely bogus and the rest too, >= 0.0 or
< 0.0 works regardless of what sign the zero has, while if copysign is used,
then it is significant, and not just in the sign of some zero, but actually
whether the result is -1.0 or 1.0.


More information about the Gcc-bugs mailing list