From: "David C. Hoos, Sr." <david.c.hoos.sr@ada95.com>
Subject: Re: Exceptions in GNAT
Date: Sun, 2 Jun 2002 07:26:02 -0500
Date: 2002-06-02T07:26:02-05:00 [thread overview]
Message-ID: <mailman.1023022322.24954.comp.lang.ada@ada.eu.org> (raw)
In-Reply-To: 3CF9FB01.2070101@yahoo.com
----- Original Message -----
From: "David Rasmussen" <pinkfloydhomer@yahoo.com>
Newsgroups: comp.lang.ada
To: <comp.lang.ada@ada.eu.org>
Sent: Sunday, June 02, 2002 6:01 AM
Subject: Exceptions in GNAT
> 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?
>
The answers to "how to" questions for GNAT are all contained in the
documentation with GNAT. If you don't have that, it's downloadable from
ftp.cs.nyu.edu/pub/gnat/3.14p for whatever platform you're using.
E.g., the question about numeric overflow checking is answered by a
search for "numeric overflow" in the GNAT User's Guide.
next prev parent reply other threads:[~2002-06-02 12:26 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. [this message]
2002-06-02 12:28 ` Preben Randhol
2002-06-02 12:39 ` David Rasmussen
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