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: a07f3367d7,2e86351fb0d532e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!newsfeed.straub-nv.de!noris.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: GtkAda on Windows: Does anyone have a gtkada.gpr file?
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: 
 <f736e99b-4094-4698-875b-a2031fd6384c@g28g2000pra.googlegroups.com>
 <19e597vj3gojp.1t2ys58wl8lj7$.dlg@40tude.net>
 <aa38b9db-fc7d-435e-b6ea-c94aeaca5522@h7g2000yqn.googlegroups.com>
 <10yl9b2ysrfj5$.10wfkseadielx$.dlg@40tude.net>
 <bec572ec-5340-460f-affd-768a50635f7a@d17g2000yqm.googlegroups.com>
Date: Mon, 18 Oct 2010 18:43:11 +0200
Message-ID: <jwo1dfx5mv6$.doqx1rkdjx6a.dlg@40tude.net>
NNTP-Posting-Date: 18 Oct 2010 18:43:11 CEST
NNTP-Posting-Host: cb8cb570.newsspool2.arcor-online.net
X-Trace: 
 DXC=KY@PiVO9:OffF8a^:6>b7eA9EHlD;3Ycb4Fo<]lROoRa8kF<OcfhCOkJ2jaXjlALXn[6LHn;2LCVn[<mhadbfdUkT?Sc<eK\BabTZk2U[;<a:a
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:15580
Date: 2010-10-18T18:43:11+02:00
List-Id: <comp.lang.ada>

On Mon, 18 Oct 2010 08:40:11 -0700 (PDT), Ludovic Brenta wrote:

> Dmitry A. Kazakov wrote on comp.lang.ada:
>> [...] Debian GNAT is still broken. I checked it two days ago under
>> fully updated squeeze. Controlled types are broken.
> 
> I am interested in precise bug reports; vague claims do not help
> anyone even if they are true.

There is a test for this bug in:

   http://www.dmitry-kazakov.de/ada/components.htm

   .../test_components/test_handles.adb

the project file is

   .../test_components/components-tests.gpr

it fails with Program_Error when something goes wrong with controlled
type's Initialize/Finalize/Adjust calls.

> You seem to assume that AdaCore will learn of your bugs by chance or
> magic and fix them in the next GNAT GPL Edition.

There is no magic. I report bugs to GNAT Pro and it gets fixed in the GPL
automatically as AdaCore updates the GPL. AFAIK GPL is a mere snapshot of
Pro.

This particular bug was two or so years ago fixed in GNAT Pro. Later it was
in GNAT GPL 2009, or maybe 2010 guess, it is certainly absent in GNAT GPL
2010. Would FSF be synched to GPL 2010, the bug should disappear.

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