comp.lang.ada
 help / color / mirror / Atom feed
From: Nick Roberts <nickroberts@blueyonder.co.uk>
Subject: Re: Unchecked_Deallocation subtleties
Date: Thu, 10 Apr 2003 16:04:38 +0100
Date: 2003-04-10T16:04:38+01:00	[thread overview]
Message-ID: <oprne5h0vybqmqul@news.cis.dfn.de> (raw)
In-Reply-To: <oprndn2ktgbqmqul@news.cis.dfn.de>

On Wed, 09 Apr 2003 20:50:34 +0100, Nick Roberts 
<nickroberts@blueyonder.co.uk> wrote:

>> I'm looking at an implementation which will call user-defined
>> Deallocate, whether X is null or not. Is it correct?
>
> I believe this implementation is 'right'. It is certainly right if the 
> module which contains the user-defined deallocation also chooses the 
> representation(s) of a null pointer. Generally, is will be for the user- 
> defined Deallocate to test if the access value is null, and do nothing 
> (as the RM specifies) if it is.

To reiterate, please cancel this opinion!

I was either thinking of something else entirely or just inebriated.

-- 
Nick Roberts
Jabber: debater@charente.de [ICQ: 159718630]



  reply	other threads:[~2003-04-10 15:04 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-04-09  9:10 Unchecked_Deallocation subtleties Piotr Zgorecki
2003-04-09  9:46 ` Samuel Tardieu
2003-04-09 12:19   ` Marin David Condic
2003-04-09 12:37     ` Samuel Tardieu
2003-04-10 12:02       ` Marin David Condic
2003-04-09 16:54     ` Warren W. Gay VE3WWG
2003-04-09 20:19       ` Nick Roberts
2003-04-09 21:39         ` Samuel Tardieu
2003-04-10 11:37           ` Nick Roberts
2003-04-10 14:39             ` Robert Spooner
2003-04-10 16:39             ` Warren W. Gay VE3WWG
2003-04-09 19:50 ` Nick Roberts
2003-04-10 15:04   ` Nick Roberts [this message]
2003-04-10 16:40     ` chris.danx
2003-04-14 23:42   ` Keith Thompson
2003-04-15  1:54     ` Nick Roberts
2003-04-15 12:00     ` Larry Kilgallen
2003-04-15 12:13       ` Jacob Sparre Andersen
2003-04-19  8:57         ` AG
2003-04-09 21:23 ` Randy Brukardt
2003-04-10 11:49   ` Nick Roberts
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox