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-19 15:23:37 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: 19 Feb 2002 15:23:36 -0800
Organization: http://groups.google.com/
Message-ID: <5ee5b646.0202191523.5d3495fc@posting.google.com>
References: <pan.2002.02.19.12.11.38.374477.7620@zamek.gda.pl>
 <87y9hp7kcl.fsf@deneb.enyo.de>
NNTP-Posting-Host: 205.232.38.244
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1014161016 30362 127.0.0.1 (19 Feb 2002 23:23:36
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 19 Feb 2002 23:23:36 GMT
Xref: archiver1.google.com comp.lang.ada:20147
Date: 2002-02-19T23:23:36+00:00
List-Id: <comp.lang.ada>

Florian Weimer <fw@deneb.enyo.de> wrote in message news:<87y9hp7kcl.fsf@deneb.enyo.de>...
> The Reference Manual is quite clear (section 13.11.2):
> 
> |                           _Erroneous Execution_
> |
> | 16. Evaluating a name that denotes a nonexistent object > is erroneous.
> 
> You cannot expect that a Constraint_Error exception is 
> raised in this case, unless your compiler documentation 
> guarantees this.

Apparently not clear enough, since you are seriously
misreading it :-)

Of course CE should be thrown in this case, and the quoted
section of the RM is entirely irrelevant (this section comes into play
if you have two access values and free
via one, and attempt a reference via the other).

The reported behavior is a clear bug and should be
reported to the vendor.