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=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a37:8a01:: with SMTP id m1mr18133063qkd.147.1574784582340;
        Tue, 26 Nov 2019 08:09:42 -0800 (PST)
X-Received: by 2002:a9d:4042:: with SMTP id o2mr6186629oti.22.1574784582059;
 Tue, 26 Nov 2019 08:09:42 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!g89no1149085qtd.0!news-out.google.com!o19ni59qtr.1!nntp.google.com!g89no1149075qtd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 26 Nov 2019 08:09:41 -0800 (PST)
In-Reply-To: <a72818f2-c0c7-4db9-8099-59c0390b55f5@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=136.163.208.2;
 posting-account=HFCrOQoAAABZD_f-UUbYHm3lJDIrh-UX
NNTP-Posting-Host: 136.163.208.2
References: <9bee64ac-42c4-495e-9ce6-69c306b8e3a5@googlegroups.com>
 <lyy2w8kp2o.fsf@pushface.org>
 <3ac08f1b-911b-4da5-a1ad-b32e84ee641b@googlegroups.com>
 <86d2b164-519b-4308-ba62-3f518d4f8fd2@googlegroups.com>
 <HqWCF.8035$Dx3.5885@fx03.dcg>
 <a72818f2-c0c7-4db9-8099-59c0390b55f5@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7e8ae6d8-17c0-478b-9e09-93bd0a4f75f4@googlegroups.com>
Subject: Re: yes another gnat bug (inherited tagged type as record field is
 too much for gnat??)
From: joakimds@kth.se
Injection-Date: Tue, 26 Nov 2019 16:09:42 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader01.eternal-september.org comp.lang.ada:57610
Date: 2019-11-26T08:09:41-08:00
List-Id: <comp.lang.ada>

Hi,

You are not missing anything with regards to bug reporting to AdaCore as fa=
r as I know. But I have had a more positive experience from the bug reporti=
ng to AdaCore. Not only have I received acknowledgements but also often mes=
sages informing me that the bug has been solved in the development version =
of the compiler.

I have also encountered similar bugs with respect to basic separation but t=
he code in which I triggered such bugs was in proprietary applications and =
often did not have time to make small code example that trigger the bug in =
order to report it. Thanks for you efforts in reporting your findings.

Best regards,
Joakim