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 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-04-09 02:46:40 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!proxad.net!teaser.fr!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: Samuel Tardieu Newsgroups: comp.lang.ada Subject: Re: Unchecked_Deallocation subtleties Date: Wed, 09 Apr 2003 11:46:41 +0200 Organization: TELECOM Paris Message-ID: <87smssj94u.fsf@inf.enst.fr> References: NNTP-Posting-Host: m34.net81-65-250.noos.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: melchior.cuivre.fr.eu.org 1049881600 11968 81.65.250.34 (9 Apr 2003 09:46:40 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Wed, 9 Apr 2003 09:46:40 +0000 (UTC) Mail-Copies-To: sam@rfc1149.net User-Agent: Gnus/5.090007 (Oort Gnus v0.07) XEmacs/21.4 (Military Intelligence, i386--freebsd) Cancel-Lock: sha1:10wXpWCWw+7nT4yOpkKURPmMIeM= Xref: archiver1.google.com comp.lang.ada:36013 Date: 2003-04-09T11:46:41+02:00 List-Id: >>>>> "Piotr" == Piotr Zgorecki 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