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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,6b1a1ed8b075945
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!eweka.nl!lightspeed.eweka.nl!feeder1.cambrium.nl!feed.tweaknews.nl!amsnews11.chello.com!newsfeed01.chello.at!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Allocators and exceptions
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <1189323618.588340.87180@o80g2000hse.googlegroups.com>
 <1189439048.467517.186160@19g2000hsx.googlegroups.com>
Date: Tue, 11 Sep 2007 11:14:36 +0200
Message-ID: <jrqvdhj7el2s$.dt1ka4tzf6l3$.dlg@40tude.net>
NNTP-Posting-Date: 11 Sep 2007 11:09:26 CEST
NNTP-Posting-Host: 0f0c2f61.newsspool2.arcor-online.net
X-Trace: 
 DXC=k:];_CX0LBPmG86`U=_nC_A9EHlD;3YcR4Fo<]lROoRQ<`=YMgDjhgRoZ]XleFJ6[[[6LHn;2LCV^7enW;^6ZC`TIXm65S@:3>_koDRPoWN3n^
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:1881
Date: 2007-09-11T11:09:26+02:00
List-Id: <comp.lang.ada>

On Mon, 10 Sep 2007 08:44:08 -0700, Adam Beneschan wrote:

> On Sep 9, 12:40 am, Maciej Sobczak <see.my.homep...@gmail.com> wrote:
>> What happens when during the initialization of the newly allocated
>> object an exception is raised?
>>
>> I cannot find anything in the AARM that covers this case. What I want
>> to find exactly is the *guarantee* that the allocated memory is
>> automatically reclaimed.
> 
> I don't think this can be guaranteed, not as I read 4.8(10).

I think the wording Maciej used was wrong. He actually should say: 

For each Allocate called while execution of new, a matching Deallocate is
called with the same storage pool, address, size and alignment as they were
in the Allocate.

The ultimate effects of Allocate and Deallocate on the memory are
irrelevant.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de