From: Wes Groleau <wesgroleau@despammed.com>
Subject: Re: I think - it's a bug...
Date: Mon, 11 Mar 2002 09:53:34 -0500
Date: 2002-03-11T09:53:34-05:00 [thread overview]
Message-ID: <3C8CC4EE.2CF4038E@despammed.com> (raw)
In-Reply-To: mailman.1015765141.12692.comp.lang.ada@ada.eu.org
> This is not a bug. The problem comes about by not being aware of
> the nature of floating point representation in computers.
Unless I misunderstood the original post, there IS a bug.
If commenting out this
> > put_line (float'image(1.0-(z/b)));
causes this to stop raising an exception
> > rr:=-a*sqrt((1.0-(z/b)**2))+a+r;
then I think there must be a bug in the optimizer.
But it should be sent to report@gnat.com and not to comp.lang.ada
--
Wes Groleau
http://freepages.rootsweb.com/~wgroleau
next prev parent reply other threads:[~2002-03-11 14:53 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-03-10 8:24 I think - it's a bug Anatoly Chernyshev
2002-03-10 12:58 ` David C. Hoos, Sr.
2002-03-11 5:33 ` Anatoly Chernyshev
2002-03-11 13:43 ` David C. Hoos
2002-03-11 16:13 ` Stephen Leake
2002-03-11 5:39 ` Jeffrey Carter
2002-03-11 14:53 ` Wes Groleau [this message]
2002-03-11 15:15 ` David C. Hoos
2002-03-11 5:32 ` Jeffrey Carter
2002-03-11 5:46 ` Anatoly Chernyshev
2002-03-11 8:19 ` Phil Thornley
2002-03-11 19:48 ` Anatoly Chernyshev
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox