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: Joe Buck <Joe dot Buck at synopsys dot COM>
- To: Paul Schlie <schlie at comcast dot net>
- Cc: Robert Dewar <dewar at adacore dot com>,Florian Weimer <fw at deneb dot enyo dot de>,Andrew Pinski <pinskia at physics dot uc dot edu>, GCC List <gcc at gcc dot gnu dot org>,bosch at gnat dot com
- Date: Wed, 8 Jun 2005 09:34:28 -0700
- Subject: Re: Ada front-end depends on signed overflow
- References: <42A6FDB7.9030803@adacore.com> <BECC7E90.A6D4%schlie@comcast.net>
On Wed, Jun 08, 2005 at 10:53:04AM -0400, Paul Schlie wrote:
> > From: Robert Dewar <dewar@adacore.com>
> > There is nothing imprecise about IEEE floating-point operations
>
> - agreed, however nor is it mandated by most language specifications,
> so seemingly irrelevant.
In real life, there are no longer any significant non-embedded
architectures out there that don't use IEEE floating point, so
it is a widely used practice to assume it and document the requirement.
The resulting programs might not work on a Vax, Cray, or IBM 370.
C'est la vie.