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=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.70.38.3 with SMTP id c3mr29662080pdk.7.1411462375220;
 Tue, 23 Sep 2014 01:52:55 -0700 (PDT)
X-Received: by 10.140.102.38 with SMTP id v35mr17876qge.6.1411462374917; Tue,
 23 Sep 2014 01:52:54 -0700 (PDT)
Path: 
 buffer2.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news.glorb.com!h15no4568028igd.0!news-out.google.com!q8ni28qal.1!nntp.google.com!w8no63683qac.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 23 Sep 2014 01:52:54 -0700 (PDT)
In-Reply-To: <ab00edd7-c4ed-418b-b8d2-3069498f4a45@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=66.176.73.77;
 posting-account=yiWntAoAAAC1KqC_shmxJYv07B9l6LNU
NNTP-Posting-Host: 66.176.73.77
References: <4b9c517f-9c78-44f5-bda1-8e7647f06851@googlegroups.com>
 <14aahny7n1xxq.12aqg1nr0sro0$.dlg@40tude.net>
 <ab00edd7-c4ed-418b-b8d2-3069498f4a45@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <bbf14660-b276-4603-9292-253210704b82@googlegroups.com>
Subject: Re: Using Class wide types as factories, is this legit?
From: David Botton <david@botton.com>
Injection-Date: Tue, 23 Sep 2014 08:52:54 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: number.nntp.dca.giganews.com comp.lang.ada:189101
Date: 2014-09-23T01:52:54-07:00
List-Id: <comp.lang.ada>


> So here is is possible that Finalize is indeed called twice and your Finalize call is not protected.

There is no finalize, It contains two Ada.Containers, I haven't looked in to their code. If there would also be a GNAT bug then.