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=-2.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no
	version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,56131a5c3acc678e
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-12-03 10:45:36 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!oleane.net!oleane!freenix!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail
From: Hyman Rosen <hyrosen@mail.com>
Newsgroups: comp.lang.ada
Subject: Re: Question about OO programming in Ada
Date: Wed, 03 Dec 2003 13:35:58 -0500
Organization: Cuivre, Argent, Or
Message-ID: <mailman.1.1070476917.31149.comp.lang.ada@ada-france.org>
References: <bq092s$9ph$1@online.de>
	<uhe0sqfud.fsf@nasa.gov><bq0qfs$3ja$1@online.de>
	<GpednY19wYJAdFmiRVn-gg@comcast.com><bq3mef$49e$1@online.de><8urxb.19482$sb4.18182@newsread2.news.pas.earthlink.net><ygAxb.8265$lF6.7551@nwrdny01.gnilink.net><1792884.HtYz4Yv8lY@linux1.krischik.com><bhjosvgrsg4mokscld2057arufu8pv1ndn@4ax.com><uhe0idzbm.fsf@wanadoo.fr><mghrsvguffpi8v7m6vamr8k4j38j8ufvkp@4ax.com><m3y8tut6b3.fsf@insalien.org><b0prsv8mp1a2qtadss47j7fpgg6nqumj8u@4ax.com>
	<1070466281.168920@master.nyc.kbcfp.com>
	<28eb01c3b9ca$25b18870$b101a8c0@sy.com>
NNTP-Posting-Host: lovelace.ada-france.org
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: melchior.cuivre.fr.eu.org 1070476918 54960 80.67.180.195 (3 Dec 2003
 18:41:58 GMT)
X-Complaints-To: usenet@melchior.cuivre.fr.eu.org
NNTP-Posting-Date: Wed, 3 Dec 2003 18:41:58 +0000 (UTC)
Cc: "comp.lang.ada@ada.eu.org" <comp.lang.ada@ada-france.org>
To: "David C. Hoos" <david.c.hoos.sr@ada95.com>
Return-Path: <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
	rv:1.5) Gecko/20031013 Thunderbird/0.3
X-Accept-Language: en-us, en
In-Reply-To: <28eb01c3b9ca$25b18870$b101a8c0@sy.com>
X-Authentication-Info: Submitted using SMTP AUTH at out009.verizon.net from
	[204.253.248.214] at Wed, 3 Dec 2003 12:35:59 -0600
X-Virus-Scanned: by amavisd-new-20030616-p5 (Debian) at ada-france.org
X-BeenThere: comp.lang.ada@ada-france.org
X-Mailman-Version: 2.1.3
Precedence: list
List-Id: Gateway to the comp.lang.ada Usenet newsgroup
	<comp.lang.ada.ada-france.org>
List-Unsubscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=unsubscribe>
List-Post: <mailto:comp.lang.ada@ada-france.org>
List-Help: <mailto:comp.lang.ada-request@ada-france.org?subject=help>
List-Subscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=subscribe>
Xref: archiver1.google.com comp.lang.ada:3106
Date: 2003-12-03T13:35:58-05:00

David C. Hoos wrote:
> How is it a "disaster" when RM95 13.11.2 (6-9) says:
> 7 � After executing Free(X), the value of X is null.

Because this affects only the "X" used in the call.
Any other pointers that are holding the same address
will continue to do so. The call to Free in Finalize
would be using the address of the Finalize parameter.
A second call would do the same, causing the pointer
to be freed twice.

> 9 � Free(X), when X is not equal to null first performs finalization

Oh, and if it does that, aren't we going to go into
death by recursion?