From: Simon Wright <simon@pushface.org>
Subject: Re: Simple program to find average of 3 numbers
Date: 10 Jul 2003 05:55:05 +0100
Date: 2003-07-10T05:55:05+01:00 [thread overview]
Message-ID: <x7vof03vv4m.fsf@smaug.pushface.org> (raw)
In-Reply-To: 1ec946d1.0307090725.73f5f200@posting.google.com
mheaney@on2.com (Matthew Heaney) writes:
> As was pointed out, when using gnat you should always specify the
> -gnato option, to enable integer overflow checks. (However, I did
> get the overflow check without specifying that switch, so perhaps
> something has changed in the 3.15p release of gnat.)
I think the overflow checks are for overflow in the base type, so for
T_Base is new Integer you'ld have to do something like Integer'Last +
1.
next prev parent reply other threads:[~2003-07-10 4:55 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-07-04 5:01 Simple program to find average of 3 numbers prashna
2003-07-04 5:22 ` John R. Strohm
2003-07-04 5:34 ` Cephus�
2003-07-04 9:54 ` Tarjei T. Jensen
2003-07-05 17:49 ` Cephus�
2003-07-04 5:33 ` Robert I. Eachus
2003-07-04 8:37 ` Stuart Palin
2003-07-05 10:06 ` Preben Randhol
2003-07-04 5:39 ` tmoran
2003-07-04 9:28 ` prashna
2003-07-04 11:02 ` Stuart Palin
2003-07-04 16:20 ` Pascal Obry
2003-07-05 1:25 ` Robert I. Eachus
[not found] ` <1e3ht-ig4.ln1@beastie.ix.netcom.com>
2003-07-04 21:17 ` Jeffrey Creem
2003-07-05 5:07 ` Anders Wirzenius
2003-07-05 14:39 ` Marqmc5
2003-07-06 3:47 ` g_ak
2003-07-08 5:06 ` prashna
2003-07-09 15:25 ` Matthew Heaney
2003-07-09 21:38 ` Robert I. Eachus
2003-07-10 13:52 ` Matthew Heaney
2003-07-10 15:46 ` Robert I. Eachus
2003-07-11 0:56 ` Randy Brukardt
2003-07-11 21:54 ` Robert A Duff
2003-07-11 21:50 ` Robert A Duff
2003-07-11 23:32 ` Robert I. Eachus
2003-07-10 4:55 ` Simon Wright [this message]
-- strict thread matches above, loose matches on Subject: below --
2003-07-09 6:24 christoph.grein
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox