From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: GNAT does not consistently raise an exception to log(0.0)
Date: Mon, 15 Jul 2013 10:16:24 -0700 (PDT)
Date: 2013-07-15T10:16:24-07:00 [thread overview]
Message-ID: <2a694e77-50e9-467c-91da-9ef31e4c5082@googlegroups.com> (raw)
In-Reply-To: <edd0a6be-d60d-441b-8668-557fbe9e3fd7@googlegroups.com>
> I suppose that would be 11.6(5):
>
> http://www.adaic.org/resources/add_content/standards/12rm/html/RM-11-6.html
Yes, exactly, I wasn't in a mood to look it up, sorry.
> No--I only attempt to output an invalid value. The Put_Line is never
> executed because the exception is raised before that, at the log(0.0) level.
That's as expected. X is no longer optimized away, so log (0.0) raises CE.
Christoph
prev parent reply other threads:[~2013-07-15 17:16 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-07-13 0:52 GNAT does not consistently raise an exception to log(0.0) Jerry
2013-07-13 1:47 ` Anh Vo
2013-07-13 2:12 ` Jerry
2013-07-13 2:28 ` Anh Vo
2013-07-13 3:33 ` Jerry
2013-07-14 3:28 ` Jerry
2013-07-14 13:35 ` Anh Vo
2013-07-15 8:25 ` Jerry
2013-07-13 7:26 ` Dmitry A. Kazakov
2013-07-14 3:34 ` Jerry
2013-07-14 3:51 ` Jerry
2013-07-13 7:34 ` Simon Wright
2013-07-14 3:42 ` Jerry
2013-07-13 9:37 ` AdaMagica
2013-07-14 3:44 ` Jerry
2013-07-15 17:16 ` AdaMagica [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox