comp.lang.ada
 help / color / mirror / Atom feed
From: jim@ghs.com (Jim Gleason)
Subject: Re: Unchecked_Deallocation and Constraint_Error
Date: 19 Feb 2002 08:34:54 -0800
Date: 2002-02-19T16:34:55+00:00	[thread overview]
Message-ID: <f2c4b613.0202190834.2f98cf47@posting.google.com> (raw)
In-Reply-To: 87y9hp7kcl.fsf@deneb.enyo.de

Florian Weimer wrote:

> You cannot expect that a Constraint_Error exception is raised in this
> case, unless your compiler documentation guarantees this.

LRM 13.11.2(7) states that the value of the variable after Free is null.
This, combined with 4.1(13), implies that a Constraint_Error SHOULD be
raised.  I would contact your compiler vendor.  A conforming implementation
should raise a Constraint_Error by default in this instance.



  reply	other threads:[~2002-02-19 16:34 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 [this message]
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