[Bug rtl-optimization/30957] Misscompare with variable expansion optimization

[pinskia 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