From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: Unchecked_Deallocation and Constraint_Error
Date: Tue, 19 Feb 2002 13:54:45 +0100
Date: 2002-02-19T12:53:51+00:00 [thread overview]
Message-ID: <87adu57ht6.fsf@deneb.enyo.de> (raw)
In-Reply-To: mailman.1014120903.15641.comp.lang.ada@ada.eu.org
Christoph Grein <christoph.grein@eurocopter.com> writes:
> That's correct, but 13.11.2(7) specifies that the value of Cmd is
> null after UD (I assume Free is an instantiation of UD), so a
> dereference Cmd(1) must raise CE, except when checks are suppressed.
Oops, you are correct. Maybe the OP is operating on a copy of the
access value, so that 13.11.2(7) does not matter.
next prev parent reply other threads:[~2002-02-19 12:54 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-02-19 12:13 Unchecked_Deallocation and Constraint_Error Christoph Grein
2002-02-19 12:54 ` Florian Weimer [this message]
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
-- strict thread matches above, loose matches on Subject: below --
2002-02-19 11:11 Michal Nowikowski
2002-02-19 11:59 ` Florian Weimer
2002-02-19 16:34 ` Jim Gleason
2002-02-19 23:23 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox