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,5a1427e1d4c91af1
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news3.google.com!feeder.news-service.com!feeder.news-service.com!npeer.de.kpn-eurorings.net!npeer-ng2.kpn.DE!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: ANN: Simple Components v3.1
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <1jeexj1ypj6il$.sdlgv71naw3d.dlg@40tude.net>
 <8f050fb2-e658-4ac4-9dbe-55e007184dc1@l42g2000hsc.googlegroups.com>
Date: Mon, 30 Jun 2008 09:36:56 +0200
Message-ID: <xizqkwkt0zdx.maex6x0elq42$.dlg@40tude.net>
NNTP-Posting-Date: 30 Jun 2008 09:36:56 CEST
NNTP-Posting-Host: 9a35fce0.newsspool1.arcor-online.net
X-Trace: 
 DXC=^V0S71m>_j6Tia]Ho99G50ic==]BZ:af>4Fo<]lROoR1<`=YMgDjhg2aFNeLkdS@^=[6LHn;2LCV>7enW;^6ZC`4IXm65S@:3>?JZMPF8=VAJ=
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:956
Date: 2008-06-30T09:36:56+02:00
List-Id: <comp.lang.ada>

On Sun, 29 Jun 2008 22:31:07 -0700 (PDT), christoph.grein@eurocopter.com
wrote:

> On 29 Jun., 21:15, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
>> � �http://www.dmitry-kazakov.de/ada/components.htm
>> ...
>> - A test added for a GNAT GPL 2008 bug.
> 
> It would be interesting which bug you found.

The bug is in initialization/finalization of controlled objects. It appears
when a record type is initialized by an aggregate. The record type has a
controlled component and a discriminant. The controlled component in the
aggregate is produced by a function call. The result would be missing
component finalization when the function result is copied.

This constellation is not very common, so it is not that catastrophic. My
guess is that the bug is a side effect of freshly introduced limited
aggregates/return functions. So I didn't report it separately. I already
reported another bug of premature finalization to AdaCore. Both I believe,
is just one issue.

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