From: dewar@gnat.com (Robert Dewar)
Subject: Re: Unchecked_Deallocation and Constraint_Error
Date: 19 Feb 2002 15:23:36 -0800
Date: 2002-02-19T23:23:36+00:00 [thread overview]
Message-ID: <5ee5b646.0202191523.5d3495fc@posting.google.com> (raw)
In-Reply-To: 87y9hp7kcl.fsf@deneb.enyo.de
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.
next prev parent reply other threads:[~2002-02-19 23:23 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-02-19 11:11 Unchecked_Deallocation and Constraint_Error Michal Nowikowski
2002-02-19 11:59 ` Florian Weimer
2002-02-19 16:34 ` Jim Gleason
2002-02-19 23:23 ` Robert Dewar [this message]
-- strict thread matches above, loose matches on Subject: below --
2002-02-19 12:13 Christoph Grein
2002-02-19 12:54 ` Florian Weimer
2002-02-19 14:15 ` Marin David Condic
2002-02-20 18:59 ` Robert Dewar
2002-02-20 22:45 ` Marin David Condic
2002-02-26 22:37 ` Michal Nowikowski
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox