From: Reinert Korsnes <a@b.no>
Subject: Re: Bug in Ada (SuSe 10.2) ?
Date: Tue, 19 Feb 2008 10:53:40 +0100
Date: 2008-02-19T10:53:40+01:00 [thread overview]
Message-ID: <dN2dndl3zoW5Oifa4p2dnAA@telenor.com> (raw)
In-Reply-To: 47ba9867$0$21892$4f793bc4@news.tdc.fi
Thanks, I see,
I looked for a general "safe mode" under gnat.
Did not find. Is there any ?
reinert
Niklas Holsti wrote:
> Reinert Korsnes wrote:
>> Hi there,
>>
>> could anyone try the test program below
>> (which should output only positive numbers or error message).
>> ...
>> The program should give an "integer out of range" error message ?
>
> GNAT does not generate run-time overflow checks by default.
>
>> I compiled the program with the following command:
>> gnatmake -gnat05 test2
>
> Add the option -gnato to enable run-time overflow checks. You
> should then get:
>
> 1
> 2
> 6
> 24
> 120
> 720
> 5040
> 40320
> 362880
> 3628800
> 39916800
> 479001600
>
> raised CONSTRAINT_ERROR : test2.adb:14 overflow check failed
>
>
> HTH
>
> --
> Niklas Holsti
> Tidorum Ltd
> niklas holsti tidorum fi
> . @ .
next prev parent reply other threads:[~2008-02-19 9:53 UTC|newest]
Thread overview: 45+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-02-19 8:47 Bug in Ada (SuSe 10.2) ? Reinert Korsnes
2008-02-19 9:08 ` Niklas Holsti
2008-02-19 9:53 ` Reinert Korsnes [this message]
2008-02-19 11:21 ` Ludovic Brenta
2008-02-20 12:41 ` Reinert Korsnes
2008-02-20 16:50 ` Adam Beneschan
2008-02-20 18:31 ` Jeffrey R. Carter
2008-02-20 23:10 ` Adam Beneschan
2008-02-20 23:22 ` Adam Beneschan
2008-02-21 0:31 ` Randy Brukardt
2008-02-21 8:56 ` Jean-Pierre Rosen
2008-02-21 9:08 ` Alex R. Mosteo
2008-02-21 9:27 ` Ludovic Brenta
2008-02-21 9:46 ` billjones6789
2008-02-21 12:27 ` Access type (mis)use (Was: Bug in Ada (SuSe 10.2) ?) Jacob Sparre Andersen
2008-02-21 19:40 ` Bob Klungle
2008-02-21 21:25 ` Jeffrey R. Carter
2008-02-21 21:57 ` Vadim Godunko
2008-02-21 22:32 ` Bug in Ada (SuSe 10.2) ? Randy Brukardt
2008-02-22 16:10 ` billjones6789
2008-02-22 19:21 ` Georg Bauhaus
2008-02-22 21:29 ` Vadim Godunko
2008-02-22 21:39 ` Robert A Duff
2008-02-23 10:16 ` billjones6789
2008-02-22 19:52 ` Randy Brukardt
2008-02-23 10:36 ` billjones6789
2008-02-26 0:32 ` Randy Brukardt
2008-02-26 16:46 ` billjones6789
2008-02-26 20:53 ` Randy Brukardt
2008-02-27 1:05 ` Robert A Duff
2008-02-27 10:06 ` billjones6789
2008-02-27 17:49 ` Robert A Duff
2008-02-28 0:30 ` Randy Brukardt
2008-02-28 15:33 ` Robert A Duff
2008-03-06 17:46 ` Adam Beneschan
2008-02-21 0:31 ` Jeffrey R. Carter
2008-02-21 0:35 ` Jeffrey R. Carter
2008-03-06 11:55 ` Colin Paul Gloster
2008-02-21 0:55 ` tmoran
2008-02-21 8:08 ` billjones6789
2008-02-21 9:11 ` Alex R. Mosteo
2008-02-21 23:01 ` Randy Brukardt
2008-02-22 16:43 ` Adam Beneschan
2008-02-22 9:06 ` Stephen Leake
2008-02-22 5:40 ` Gautier
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox