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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.182.142.5 with SMTP id rs5mr21901008obb.15.1411461426856; Tue, 23 Sep 2014 01:37:06 -0700 (PDT) X-Received: by 10.140.89.239 with SMTP id v102mr168qgd.34.1411461426709; Tue, 23 Sep 2014 01:37:06 -0700 (PDT) Path: border1.nntp.dca1.giganews.com!nntp.giganews.com!h15no4559280igd.0!news-out.google.com!q8ni28qal.1!nntp.google.com!w8no62949qac.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 23 Sep 2014 01:37:06 -0700 (PDT) In-Reply-To: <14aahny7n1xxq.12aqg1nr0sro0$.dlg@40tude.net> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=194.98.77.125; posting-account=6yLzewoAAABoisbSsCJH1SPMc9UrfXBH NNTP-Posting-Host: 194.98.77.125 References: <4b9c517f-9c78-44f5-bda1-8e7647f06851@googlegroups.com> <14aahny7n1xxq.12aqg1nr0sro0$.dlg@40tude.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Using Class wide types as factories, is this legit? From: briot.emmanuel@gmail.com Injection-Date: Tue, 23 Sep 2014 08:37:06 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: number.nntp.dca.giganews.com comp.lang.ada:189100 Date: 2014-09-23T01:37:06-07:00 List-Id: The implementation of controlled types has changed, so it is indeed possible that the Finalize calls have changed. Note the following in the ARM 7.6.1, note 24: "Finalize procedure should be designed to have no ill effect if it is applied a second time to the same object". So here is is possible that Finalize is indeed called twice and your Finalize call is not protected. You could also try that part of the code on linux, with valgrind