From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Bug or feature?
Date: Wed, 14 May 2014 18:02:16 -0400
Date: 2014-05-14T18:02:16-04:00 [thread overview]
Message-ID: <wcciop8yq6v.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: a6143539-a964-4ed3-bc84-557dcd562722@googlegroups.com
Adam Beneschan <adambeneschan@gmail.com> writes:
>... It looks like there's a bug in how range checking is
> handled if -gnato isn't used, over and above the lack of overflow
> checking.
No, I don't think so. If you don't use -gnato, it's equivalent
to having pragma Suppress(Overflow_Check), so if it overflows,
all bets are off.
There is also 11.5(27/2).
- Bob
next prev parent reply other threads:[~2014-05-14 22:02 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-05-14 19:06 Bug or feature? Laurent
2014-05-14 19:57 ` Adam Beneschan
2014-05-14 20:15 ` Adam Beneschan
2014-05-14 21:24 ` Laurent
2014-05-14 21:37 ` Adam Beneschan
2014-05-14 22:02 ` Robert A Duff [this message]
2014-05-14 22:25 ` Adam Beneschan
2014-05-14 21:42 ` Robert A Duff
2014-05-15 8:51 ` Georg Bauhaus
2014-05-14 21:48 ` Randy Brukardt
2014-05-14 22:35 ` Robert A Duff
2014-05-15 8:23 ` Simon Wright
2014-05-15 18:21 ` Randy Brukardt
2014-05-15 8:58 ` Georg Bauhaus
2014-05-15 18:30 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox