From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Gnat/Windows float point Q
Date: Wed, 9 Apr 2003 16:11:44 -0500
Date: 2003-04-09T16:11:44-05:00 [thread overview]
Message-ID: <v993379em58ge0@corp.supernews.com> (raw)
In-Reply-To: iSQka.118231$OV.219730@rwcrnsc54
tmoran@acm.org wrote in message ...
>>> What does it mean when float'image(x) = " 47.720649 0.E+05" ?
>> Check X'Valid if the data comes from some route like
Unchecked_Conversion.
>In this case X comes from Ada.Numerics.Complex_Types.Abs(Y)
>and Y came from Z**2, so it might well overflow.
Float'Machine_Overflows
>is False, so I can't expect an exception, but is an overflowed value
>on Gnat/Windows something that is always False in a compare, and
>generates garbage for float'image?
I'd expect the result of such an operation to be either +infinity
or -infinity. Those compare as you expect, and probably raise
Constraint_Error when stored (if they didn't do that, the compiler would
be violating the rule about math always returning the correct result or
raising an exception).
Randy.
next prev parent reply other threads:[~2003-04-09 21:11 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-04-08 21:00 Gnat/Windows float point Q tmoran
2003-04-09 6:47 ` Eric G. Miller
2003-04-09 8:30 ` tmoran
2003-04-09 21:11 ` Randy Brukardt [this message]
2003-04-10 6:23 ` tmoran
2003-04-10 18:39 ` Randy Brukardt
2003-04-10 21:58 ` tmoran
2003-04-11 0:52 ` David C. Hoos, Sr.
2003-04-11 1:37 ` tmoran
2003-04-11 4:24 ` Eric G. Miller
2003-04-11 19:11 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox