From: Simon Wright <simon.j.wright@amsjv.com>
Subject: Re: Have you ever had a bug caused by...
Date: 25 Oct 2001 17:09:07 +0100
Date: 2001-10-25T17:09:07+01:00 [thread overview]
Message-ID: <x7v1yjrsnvg.fsf@galadriel.frlngtn.gecm.com> (raw)
In-Reply-To: 9r2f090nu2@drn.newsguy.com
Robert*@ <Robert_member@newsguy.com> writes:
> Yes, Ada does even more today than Java/C/C++. None of those other
> languages for example will detect a floating point
> overflow/underflow at run-time, but Ada will.
On Linux, GNAT's Float'Machine_Overflows is false.
with GNAT.IO;
procedure Fred is
Last : Float := Float'Last;
begin
GNAT.IO.Put_Line (Float'Machine_Overflows'Img);
GNAT.IO.Put_Line (Last'Img);
Last := Last * 2.0;
GNAT.IO.Put_Line (Last'Img);
end Fred;
outputs
FALSE
3.40282E+38
+Inf*******
--
Simon Wright Email: simon.j.wright@amsjv.com
Alenia Marconi Systems Voice: +44(0)23 9270 1778
Integrated Systems Division FAX: +44(0)23 9270 1800
next prev parent reply other threads:[~2001-10-25 16:09 UTC|newest]
Thread overview: 42+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-10-20 1:14 Have you ever had a bug caused by Mike Silva
2001-10-20 1:44 ` Larry Kilgallen
2001-10-20 2:12 ` James Rogers
2001-10-20 9:15 ` Robert*
2001-10-20 11:20 ` Bertrand Augereau
2001-10-20 11:30 ` Matthew Woodcraft
2001-10-20 12:39 ` Robert*
2001-10-20 13:09 ` Bertrand Augereau
2001-10-20 21:21 ` Robert Dewar
2001-10-22 15:58 ` Ted Dennison
2001-10-20 19:07 ` Dr Adrian Wrigley
2001-10-21 1:09 ` Mike Silva
2001-10-21 12:05 ` Larry Kilgallen
2001-10-22 14:48 ` Marin David Condic
2001-10-22 17:03 ` Martin Dowie
2001-10-22 17:22 ` Marin David Condic
2001-10-23 6:13 ` Mike Silva
2001-10-22 21:49 ` David Bolen
2001-10-22 22:14 ` Marin David Condic
2001-10-23 0:52 ` Robert*
2001-10-23 13:30 ` Marin David Condic
2001-10-25 9:45 ` John English
2001-10-25 15:23 ` Marin David Condic
2001-10-25 18:17 ` Ted Dennison
2001-10-25 15:36 ` Ted Dennison
2001-10-25 16:09 ` Simon Wright [this message]
2001-10-25 2:16 ` David Bolen
2001-10-23 6:26 ` Mike Silva
2001-10-23 9:40 ` mike
2001-10-23 10:09 ` Preben Randhol
2001-10-23 13:48 ` Marin David Condic
2001-10-23 15:45 ` Ted Dennison
2001-10-23 17:08 ` Marin David Condic
2001-12-04 11:09 ` Harri J Haataja
2001-10-24 12:44 ` Marc A. Criley
2001-10-24 18:55 ` Jeffrey Carter
2001-10-24 19:34 ` Marin David Condic
2001-10-26 4:18 ` (Off topic:) Quality Anders Wirzenius
2001-10-25 9:36 ` Have you ever had a bug caused by John English
2001-10-25 15:41 ` Wes Groleau
2001-10-25 17:57 ` Have you ever had a bug OOPS Wes Groleau
2001-11-13 2:07 ` David Thompson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox