comp.lang.ada
 help / color / mirror / Atom feed
From: Piotr Zgorecki <pioter@terramail.CUTTHIS.pl>
Subject: Unchecked_Deallocation subtleties
Date: Wed, 9 Apr 2003 09:10:21 +0000 (UTC)
Date: 2003-04-09T09:10:21+00:00	[thread overview]
Message-ID: <slrnb97ort.27o.pioter@chmurka.galaxy.faraway> (raw)

Hi,

I have a problem with interpretation of ARM 13.11.2(8):

"Free(X), when X is already equal to null, has no effect."

I'm looking at an implementation which will call user-defined
Deallocate, whether X is null or not. Is it correct? I would suppose
'has no effect' means that Deallocate shouldn't be called, because it
can potentially have side effects. Life would be easier if ARM had 'no
effect' stuff strictly defined.

Regards,
Piotr Zgorecki



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

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-04-09  9:10 Piotr Zgorecki [this message]
2003-04-09  9:46 ` Unchecked_Deallocation subtleties 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
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