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,836e7962fed7281b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-02-22 21:43:05 PST
Path: 
 archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!zeus.visi.com!news-out.visi.com!petbe.visi.com!news.octanews.net!newsfeed.news2me.com!wn54feed!worldnet.att.net!attbi_s01.POSTED!not-for-mail
From: tmoran@acm.org
Newsgroups: comp.lang.ada
Subject: Re: debugging tool?
References: <mailman.13.1077508512.327.comp.lang.ada@ada-france.org>
X-Newsreader: Tom's custom newsreader
Message-ID: <Ipg_b.370160$I06.3943271@attbi_s01>
NNTP-Posting-Host: 67.161.24.134
X-Complaints-To: abuse@comcast.net
X-Trace: attbi_s01 1077514984 67.161.24.134 (Mon, 23 Feb 2004 05:43:04 GMT)
NNTP-Posting-Date: Mon, 23 Feb 2004 05:43:04 GMT
Organization: Comcast Online
Date: Mon, 23 Feb 2004 05:43:04 GMT
Xref: archiver1.google.com comp.lang.ada:5744
Date: 2004-02-23T05:43:04+00:00
List-Id: <comp.lang.ada>

> However, Annotated ARM 7.6.1 11.g says:
> ...
>           objects cannot be deallocated one by one as they are
>           finalized; a subsequent finalization might reference an
>           object that has been finalized, and that object had better be
>           in its (well-defined) finalized state.
>
> That says it is safe to put a Finalized flag in Helper_Type, as long
> as you are not using Unchecked_Deallocation.
   Excellent!  Thanks.