From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: Unchecked_Deallocation and Constraint_Error
Date: Tue, 19 Feb 2002 12:59:54 +0100
Date: 2002-02-19T11:59:00+00:00 [thread overview]
Message-ID: <87y9hp7kcl.fsf@deneb.enyo.de> (raw)
In-Reply-To: pan.2002.02.19.12.11.38.374477.7620@zamek.gda.pl
Michal Nowikowski <godfryd@zamek.gda.pl> writes:
> I've got some code like that:
>
> ...
> Cmd : Integer_Array_Access := new Integer_Array(1..1);
> ...
> Free(Cmd);
> Cmd(1) := 1;
> ...
>
> Program should throw exception Constraint_Error, but it only
> hangs at instruction Cmd(1) := 1; (but doesn't quit).
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.
next prev parent reply other threads:[~2002-02-19 11:59 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 [this message]
2002-02-19 16:34 ` Jim Gleason
2002-02-19 23:23 ` Robert Dewar
-- 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