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=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c658912279760559
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-02-20 10:59:51 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: dewar@gnat.com (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: Unchecked_Deallocation and Constraint_Error
Date: 20 Feb 2002 10:59:50 -0800
Organization: http://groups.google.com/
Message-ID: <5ee5b646.0202201059.7794f5aa@posting.google.com>
References: <mailman.1014120903.15641.comp.lang.ada@ada.eu.org>
 <87adu57ht6.fsf@deneb.enyo.de> <a4tmmj$asm$1@nh.pace.co.uk>
NNTP-Posting-Host: 205.232.38.14
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1014231591 27450 127.0.0.1 (20 Feb 2002 18:59:51
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 20 Feb 2002 18:59:51 GMT
Xref: archiver1.google.com comp.lang.ada:20177
Date: 2002-02-20T18:59:51+00:00
List-Id: <comp.lang.ada>

"Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org> wrote in message news:<a4tmmj$asm$1@nh.pace.co.uk>...

> I know, for example, that Gnat won't generate the checks 
> that cause Constraint_Error on integer range excptions 
> unless you throw a switch to
> enable it. Could this be a similar case?

Well you may "know" this, but that does not make it true :-)

Range_Checks are indeed on by default in GNAT and always
have been. You are mixing this up with Overflow_Checks
which are not on by default (and if you don't know the
difference, consult the RM, these terms are defined there!)

It is of course true that the questioner might have made a
pilot error (for instance, one certainly would not expect
to get an exception using -gnatp on GNAT :-)