From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b2dd3ff35d68d825,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-04-09 02:10:23 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!news.teledanmark.no!news.tele.dk!news.tele.dk!small.news.tele.dk!news-fra1.dfn.de!news.man.poznan.pl!topaz.icpnet.pl!not-for-mail
From: Piotr Zgorecki <pioter@terramail.CUTTHIS.pl>
Newsgroups: comp.lang.ada
Subject: Unchecked_Deallocation subtleties
Date: Wed, 9 Apr 2003 09:10:21 +0000 (UTC)
Organization: An ICP news server
Message-ID: <slrnb97ort.27o.pioter@chmurka.galaxy.faraway>
NNTP-Posting-Host: c2-230.icpnet.pl
X-Trace: topaz.icpnet.pl 1049879421 19755 62.21.2.230 (9 Apr 2003 09:10:21
 GMT)
X-Complaints-To: usenet@topaz.icpnet.pl
NNTP-Posting-Date: Wed, 9 Apr 2003 09:10:21 +0000 (UTC)
User-Agent: slrn/0.9.7.4 (Linux)
Xref: archiver1.google.com comp.lang.ada:36010
Date: 2003-04-09T09:10:21+00:00
List-Id: <comp.lang.ada>

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