This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: optimization/9736: same fp comparison can lead to different results
- From: Eric Botcazou <ebotcazou at libertysurf dot fr>
- To: Richard Addison-Wood <richard at wetafx dot co dot nz>
- Cc: gcc-bugs at gcc dot gnu dot org,nobody at gcc dot gnu dot org,gcc-gnats at gcc dot gnu dot org
- Date: Wed, 19 Feb 2003 10:02:14 +0100
- Subject: Re: optimization/9736: same fp comparison can lead to different results
- References: <20030218080435.11181.qmail@sources.redhat.com> <3E52AFE7.2941C1C6@wetafx.co.nz>
> If the compiler produces valid assembly code that does not
> correctly execute the input source code, that is a compiler bug.
Sure. But why do you keep using a compilation mode that you know will
generate a faulty executable for your program? I can't say much more than
the GCC manual here: if your program relies on exact IEEE floating-point
semantics to properly work, compile it with -ffloat-store. Otherwise
eliminate the dependencies on the IEEE format.
--
Eric Botcazou