From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: How to compile Barnes' examples from his book using GNAT
Date: Sun, 6 Dec 2015 15:33:03 -0700
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <n42cuc$nqs$1@dont-email.me>
References: <2c68ffdd-f55e-4c68-84f1-fbe0f83a0b57@googlegroups.com>
 <n415t5$uko$2@dont-email.me> <n41tv6$s1p$1@dont-email.me>
 <1449436915.3174.17.camel@obry.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 6 Dec 2015 22:30:38 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="caa759af2a9c666aec02942f6fe5abd6";
	logging-data="24412"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX199r3SjozcyRtjXc9fMMIupOZG/4b30nao="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.3.0
In-Reply-To: <1449436915.3174.17.camel@obry.net>
Cancel-Lock: sha1:gPE80k0s7ZYZHKs5PHfJ5rlJBlg=
Xref: news.eternal-september.org comp.lang.ada:28674
Date: 2015-12-06T15:33:03-07:00
List-Id: <comp.lang.ada>

On 12/06/2015 02:21 PM, Pascal Obry wrote:
> 
>> 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.

That's good. When I had checked not too long ago, it was still off 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.

True, but examples from the book intended to demonstrate the use of these
features may not behave as described if they are not turned on.

-- 
Jeff Carter
"I wave my private parts at your aunties."
Monty Python & the Holy Grail
13