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!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wn13feed!worldnet.att.net!bgtnsc05-news.ops.worldnet.att.net.POSTED!53ab2750!not-for-mail Newsgroups: comp.lang.ada From: anon@anon.org (anon) Subject: Re: Allocators and exceptions Reply-To: anon@anon.org (anon) References: <1189323618.588340.87180@o80g2000hse.googlegroups.com> X-Newsreader: IBM NewsReader/2 2.0 Message-ID: Date: Sun, 09 Sep 2007 12:17:19 GMT NNTP-Posting-Host: 12.64.102.231 X-Complaints-To: abuse@worldnet.att.net X-Trace: bgtnsc05-news.ops.worldnet.att.net 1189340239 12.64.102.231 (Sun, 09 Sep 2007 12:17:19 GMT) NNTP-Posting-Date: Sun, 09 Sep 2007 12:17:19 GMT Organization: AT&T Worldnet Xref: g2news2.google.com comp.lang.ada:1828 Date: 2007-09-09T12:17:19+00:00 List-Id: For deallocation Recheck RM 13.11.2 Unchecked Storage Deallocation Paragragh (10) suggest that deallocation is guarantee, with the exception if the object is a Task (9). Also, no system defined exception raised on Deallocation. See System.Memory for routines on how GNAT Ada defines the core Allocation, Deallocation, and Reallocation routines. For some other insight you might want to look at Chapter 21: "Memory Management Issues" of the "Gnat User Guide". It does talk about problems in deallocation and provides informaton to check for errors. In <1189323618.588340.87180@o80g2000hse.googlegroups.com>, Maciej Sobczak writes: >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. >Any relevant paragraph numbers are highly welcome. > >-- >Maciej Sobczak >http://www.msobczak.com/ >