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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Story of one GNAT bug
Date: Wed, 25 Mar 2015 16:07:11 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <mev820$3bp$1@loke.gir.dk>
References: <mev48i$1ih$1@loke.gir.dk>
NNTP-Posting-Host: rrsoftware.com
X-Trace: loke.gir.dk 1427317632 3449 24.196.82.226 (25 Mar 2015 21:07:12 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Wed, 25 Mar 2015 21:07:12 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:25257
Date: 2015-03-25T16:07:11-05:00
List-Id: <comp.lang.ada>

"Tero Koskinen" <tero.koskinen@iki.fi> wrote in message 
news:mev48i$1ih$1@loke.gir.dk...
...
> All tested GNAT versions, including GNAT GPL 2014 accepted
> the code, so clearly GNAT did not have check for RM 7.3(10.1).
...
> A week later (Feb 12), I talked to ACAA technical agent
> about the bug and possibility to add B test for the bug to
> ACATS.

You left out one step here. It turns that not only did GNAT not check the 
rule in question, but also that there was an ACATS test which expected it to 
be legal. (That probably happened in part because the test was checking a 
different rule in 7.3, and using GNAT to check whether it was correct did 
not turn up the violation of 7.3(10.1/3).)

It's also strange that there wasn't a test for that rule; I thought I had 
checked all of the new (since Ada 95) rules in 7.3 and that obviously wasn't 
true. But now it is. :-)

                                              Randy Brukardt, ACAA Technical 
Agent