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-Thread: 103376,6b1a1ed8b075945 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Newsgroups: comp.lang.ada Subject: Re: Allocators and exceptions References: <1189323618.588340.87180@o80g2000hse.googlegroups.com> <1189524788.300591.312380@w3g2000hsg.googlegroups.com> <1189547814.740732.220140@x40g2000prg.googlegroups.com> <1189599757.106695.147440@57g2000hsv.googlegroups.com> From: Markus E L Date: Wed, 12 Sep 2007 16:11:32 +0200 Message-ID: <37abrsq8h7.fsf@hod.lan.m-e-leypold.de> User-Agent: Some cool user agent (SCUG) Cancel-Lock: sha1:EhS6ZRKFuJYjh1dXf+55qGszzCk= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii NNTP-Posting-Host: 88.74.57.86 X-Trace: news.arcor-ip.de 1189606017 88.74.57.86 (12 Sep 2007 16:06:57 +0200) X-Complaints-To: abuse@arcor-ip.de Path: g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!news.cs.univ-paris8.fr!gegeweb.org!newsfeed.kamp.net!newsfeed.kamp.net!news.unit0.net!newsfeed.arcor-ip.de!news.arcor-ip.de!not-for-mail Xref: g2news2.google.com comp.lang.ada:1921 Date: 2007-09-12T16:11:32+02:00 List-Id: Maciej Sobczak wrote: > On 11 Wrz, 23:56, Adam Beneschan wrote: > >> OK, I think I have one. GNAT compiles and runs it, although I haven't >> checked the language rules carefully to make sure it's legal. > > Without checking the language rules carefully, I think this is a legal > program demonstrating artificially broken design. Yes, but: I see Unchecked_Access here, so I'm not surprised that some guarantees are off. On the other side, I'd expect that failure during initialization leads to dellocation. That would be sane, instead of slowly leaking memory in a long running system. My impression is that w/o using Unchecked_Access it will not be possible to produce dangling references then. (I haven't thought deeply about all this). Regards-- Markus