This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug rtl-optimization/30957] Misscompare with variable expansion optimization
- From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 26 Feb 2007 18:24:29 -0000
- Subject: [Bug rtl-optimization/30957] Misscompare with variable expansion optimization
- References: <bug-30957-13229@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #9 from pinskia at gcc dot gnu dot org 2007-02-26 18:24 -------
Both -ffast-math and -funsafe-math-optimizations violate IEEE math specs so
this is an invalid bug. At one point -funsafe-math-optimizations used to not
honor signed zero but recently you have:
-flag_signed_zeros with
2007-01-19 Roger Sayle <roger@eyesopen.com>
* common.opt (fsigned-zeros): New command line option.
* flags.h (HONOR_SIGNED_ZEROS): Control via flag_signed_zeros instead
of flag_unsafe_math_optimizations.
* opts.c (set_fast_math_flags): The -ffast-math command line option
implies -fno-signed-zeros.
(fast_math_flags_set_p): Likewise.
But -funsafe-math-optimizations still says you can reassiocate so maybe this is
just the case where we want a flag for reassiocating.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30957