From: David Rasmussen <pinkfloydhomer@yahoo.com>
Subject: Re: Exceptions in GNAT
Date: Sun, 02 Jun 2002 14:39:42 +0200
Date: 2002-06-02T14:39:42+02:00 [thread overview]
Message-ID: <3CFA120E.4080508@yahoo.com> (raw)
In-Reply-To: slrnafk3rj.ql.randhol+abuse@kiuk0156.chembio.ntnu.no
Preben Randhol wrote:
> On Sun, 02 Jun 2002 13:01:21 +0200, David Rasmussen wrote:
>
>>I am learning Ada, and in one exercise I am told to find out how large
>>and integer I can use on my system, before it overflows. The exercise
>>just tells me to add two larger and larger numbers and see when an
>>exception occurs. I have just compiled my program with gnatmake with no
>>options, and I am using gcc 3.1 . When the numbers get large enough, the
>>result is just a negative number because of wrap-around. Shouldn't I get
>>an exception, unless I turn it off? How do I compile for with most
>>checks for debug builds, and how do I compile with everything turned off
>>for performance intensive release builds?
>
>
> First you made a very good choice with Ada :-)
>
I think so too :)
> I would recommend that you use the gnat 3.14p compiler instead. The
> reason is that the gcc 3.1 is very fresh and the compiler is reported to
OK, I have both of them installed.
> have some problems. So as you now learn Ada I think you can get
> seriously confused if you stumble over these bugs. At least use both and
> if you see a difference you can report it.
>
I will try it.
> Which platform do you use?
>
Linux. More precisely, Debian.
/David
next prev parent reply other threads:[~2002-06-02 12:39 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-06-02 11:01 Exceptions in GNAT David Rasmussen
2002-06-02 11:04 ` David Rasmussen
2002-06-02 12:36 ` Preben Randhol
2002-06-02 12:39 ` Jeffrey Creem
2002-06-02 12:26 ` David C. Hoos, Sr.
2002-06-02 12:28 ` Preben Randhol
2002-06-02 12:39 ` David Rasmussen [this message]
2002-06-02 15:34 ` Simon Wright
2002-06-02 15:02 ` Robert Dewar
2002-06-02 20:37 ` Jeffrey Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox