Re: How to compile Barnes' examples from his book using GNAT

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

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