comp.lang.ada
 help / color / mirror / Atom feed
From: Samuel Tardieu <sam@rfc1149.net>
Subject: Re: Unchecked_Deallocation subtleties
Date: Wed, 09 Apr 2003 11:46:41 +0200
Date: 2003-04-09T11:46:41+02:00	[thread overview]
Message-ID: <87smssj94u.fsf@inf.enst.fr> (raw)
In-Reply-To: slrnb97ort.27o.pioter@chmurka.galaxy.faraway

>>>>> "Piotr" == Piotr Zgorecki <pioter@terramail.CUTTHIS.pl> writes:

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

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

"no effect" means "no user observable effect". Just as if you didn't
call "Free(X)". If "Deallocate" may have side effects, it should not
be called.

  Sam
-- 
Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/sam



  reply	other threads:[~2003-04-09  9:46 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 [this message]
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