[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