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,7a3b1c6915ea1273
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.190.99 with SMTP id gp3mr879352pbc.1.1326937651625;
        Wed, 18 Jan 2012 17:47:31 -0800 (PST)
MIME-Version: 1.0
Path: 
 lh20ni198050pbb.0!nntp.google.com!news2.google.com!eweka.nl!feeder.eweka.nl!62.179.104.142.MISMATCH!amsnews11.chello.com!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!jacob-sparre.dk!ada-dk.org!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: How many Ada compiler bugs are here?
Date: Wed, 18 Jan 2012 19:47:25 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <jf7snh$tf5$1@munin.nbi.dk>
References: 
 <01dd6341-9c3c-4dcb-90f8-6ac66c65eb66@z1g2000vbx.googlegroups.com><jentdh$4sd$1@munin.nbi.dk><0980607c-df6d-4769-bf6c-288c5666b40f@a11g2000vbz.googlegroups.com><7a8f802e-8d70-4d97-8b85-3f87dafa0899@u20g2000yqb.googlegroups.com>
 <jes008$q0f$1@dont-email.me>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1326937649 30181 69.95.181.76 (19 Jan 2012 01:47:29 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 19 Jan 2012 01:47:29 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Date: 2012-01-18T19:47:25-06:00
List-Id: <comp.lang.ada>

"Brian Drummond" <brian@shapes.demon.co.uk> wrote in message 
news:jes008$q0f$1@dont-email.me...
> On Fri, 13 Jan 2012 15:30:37 -0800, Adam Beneschan wrote:
...
> Recalling an earlier conversation : this (visibility of private parts)
> strikes me as a candidate for submission to the ACATS suite; though it
> would surprise me if ACATS doesn't cover this in some depth already.

Keep in mind that the ACATS doesn't try to guess the errors that a compiler 
implementer might make, as that is nearly an infinite set. Rather, it tries 
to have at least one test of Legality Rule in the standard; combinations of 
multiple rules (as in this case) are not a priority.

The Ada 83 ACVC tried much hard to make such guesses. But the effect was a 
lot of rather pointless tests that tried to guess what syntax a compiler 
writer might want to allow beyond that in the Standard. All of those tests 
were removed from the Ada 95 ACVC (which became the ACATS), as their only 
value was to stress compiler syntax error correction/handling (which is not 
an intended purpose of the ACATS!). Indeed, there is rule against including 
syntax error tests in the ACATS (with an exception made for "syntax" that 
most likely will be enforced post-syntax; one example is the rules about 
others limbs in case statements).

Which is a long way to say that I don't think there is any attempt to 
declare Adjust for a limited type, and if there is, it would be an Ada 95 
C-Test in which case there would be no "overriding" involved.

                                             Randy.