This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Ada front-end depends on signed overflow
- From: Robert Dewar <dewar at adacore dot com>
- To: Florian Weimer <fw at deneb dot enyo dot de>
- Cc: Paul Schlie <schlie at comcast dot net>, Andrew Pinski <pinskia at physics dot uc dot edu>,GCC List <gcc at gcc dot gnu dot org>, bosch at gnat dot com
- Date: Tue, 07 Jun 2005 17:49:54 -0400
- Subject: Re: Ada front-end depends on signed overflow
- References: <BECB19FE.A679%schlie@comcast.net> <873bruqn37.fsf@deneb.enyo.de>
* Paul Schlie:
(With an exception being FP optimization, as FP is itself based
only on the approximate not absolute representation of values.)
Floating-point arithmetic is not simply some inaccurate representation
of real arithmetic. It can be used this way by the programmer, but in
fact fpt operations have very well defined semantics, and compiler
writers have to be very careful not to intefere with these semantics
beyond the level permitted by the language. Certainly the above quoted
attitude would be pretty deadly if held by a compiler optimizer
writer!