comp.lang.ada
 help / color / mirror / Atom feed
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.





  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