From: Pascal Obry <pascal@obry.net>
Subject: Re: How to compile Barnes' examples from his book using GNAT
Date: Sun, 06 Dec 2015 22:21:55 +0100
Date: 2015-12-06T22:21:55+01:00 [thread overview]
Message-ID: <1449436915.3174.17.camel@obry.net> (raw)
In-Reply-To: n41tv6$s1p$1@dont-email.me
Jeffrey,
> Almost. However, with no options, GNAT is not an Ada compiler. It
> doesn't insert
> integer-overflow checks,
Recent GNAT versions have overflow on by default.
> stack-overflow checks, assertion checks, pre- and
> post-condition checks, predicate checks, or invariant checks.
The assertions and aspects checks are optional for an Ada compiler and
can be turned on and off.
--
Pascal Obry / Magny Les Hameaux (78)
The best way to travel is by means of imagination
http://v2p.fr.eu.org
http://www.obry.net
gpg --keyserver keys.gnupg.net --recv-key F949BD3B
next prev parent reply other threads:[~2015-12-06 21:21 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-12-06 10:49 How to compile Barnes' examples from his book using GNAT Jerry
2015-12-06 11:24 ` Brian Drummond
2015-12-06 18:17 ` Jeffrey R. Carter
2015-12-06 21:21 ` Pascal Obry [this message]
2015-12-06 22:33 ` Jeffrey R. Carter
2015-12-08 2:01 ` Randy Brukardt
2015-12-07 9:01 ` Jerry
2015-12-07 9:36 ` Jacob Sparre Andersen
2015-12-10 3:26 ` Jerry
2015-12-10 8:55 ` J-P. Rosen
2015-12-10 12:34 ` G.B.
2015-12-07 14:21 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox