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
Received: by 10.204.152.89 with SMTP id f25mr1818464bkw.0.1326947188267;
        Wed, 18 Jan 2012 20:26:28 -0800 (PST)
Path: 
 cj8ni113367bkb.0!nntp.google.com!news1.google.com!postnews.google.com!v14g2000yqh.googlegroups.com!not-for-mail
From: Adam Beneschan <adam@irvine.com>
Newsgroups: comp.lang.ada
Subject: Re: How many Ada compiler bugs are here?
Date: Wed, 18 Jan 2012 20:24:58 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <75df28b7-e784-41a1-9c40-9520fb6f1c0d@v14g2000yqh.googlegroups.com>
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> <jf7snh$tf5$1@munin.nbi.dk>
NNTP-Posting-Host: 207.200.116.71
Mime-Version: 1.0
X-Trace: posting.google.com 1326947188 2210 127.0.0.1 (19 Jan 2012 04:26:28
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 19 Jan 2012 04:26:28 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: v14g2000yqh.googlegroups.com; posting-host=207.200.116.71;
 posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ
User-Agent: G2/1.0
X-HTTP-Via: HTTP/1.1 (Velocity/3.1.2.1 [uScMs f p eN:t cCMp s ]), HTTP/1.1
 spider-ntc-ta11.proxy.aol.com[CFC8700B] (Prism/1.2.1), HTTP/1.1
 cache-ntc-ab07.proxy.aol.com[CFC87447] (Traffic-Server/6.1.5 [uScM])
X-Google-Web-Client: true
X-Google-Header-Order: ARLUECVH
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; AOL 9.5; AOLBuild
 4337.5401; Windows NT 6.1; WOW64; Trident/4.0; SLCC2; .NET CLR 2.0.50727;
 .NET CLR 3.5.30729; .NET CLR 3.0.30729; Media Center PC 6.0; HPDTDF; BRI/1;
 .NET4.0C; BRI/2; AskTbARS/5.14.0.19709),gzip(gfe)
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Date: 2012-01-18T20:24:58-08:00
List-Id: <comp.lang.ada>

On Jan 18, 5:47=A0pm, "Randy Brukardt" <ra...@rrsoftware.com> wrote:
> "Brian Drummond" <br...@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 compil=
er
> implementer might make, as that is nearly an infinite set.

And some days it seems like I've made all of them.

Of course, I could really quibble about what "nearly infinite" means.
However big the set of possible errors is, I'm sure it's still
billions, maybe even trillions, short of infinity.  :)

                            -- Adam