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,43127f177a55dc41 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Received: by 10.42.146.136 with SMTP id j8mr3809284icv.8.1320432432177; Fri, 04 Nov 2011 11:47:12 -0700 (PDT) Path: p6ni71172pbn.0!nntp.google.com!news2.google.com!postnews.google.com!hc5g2000vbb.googlegroups.com!not-for-mail From: Adam Beneschan Newsgroups: comp.lang.ada Subject: Re: limited allocated classwide types Date: Fri, 4 Nov 2011 11:47:10 -0700 (PDT) Organization: http://groups.google.com Message-ID: <14ff4109-2f02-4dee-9638-68c1befc07c2@hc5g2000vbb.googlegroups.com> References: <0ed43f83-40e7-46d3-8cc4-e1c41f500d28@c1g2000vbw.googlegroups.com> NNTP-Posting-Host: 66.126.103.122 Mime-Version: 1.0 X-Trace: posting.google.com 1320432432 27060 127.0.0.1 (4 Nov 2011 18:47:12 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Fri, 4 Nov 2011 18:47:12 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: hc5g2000vbb.googlegroups.com; posting-host=66.126.103.122; posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-Header-Order: ARLUEHNKC X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.0; WOW64; Trident/4.0; SLCC1; .NET CLR 2.0.50727; Media Center PC 5.0; .NET CLR 3.5.21022; .NET CLR 3.5.30729; .NET CLR 3.0.30618; .NET4.0C),gzip(gfe) Xref: news2.google.com comp.lang.ada:14317 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2011-11-04T11:47:10-07:00 List-Id: On Nov 4, 2:53=A0am, Brian Drummond wrote: > > But this bug (assuming it is confirmed, as it looks to be) is much closer > to the core of the language ... to me it raises the question: has ACATS > (test suite) not kept up with the language additions in Ada-2005? And is > it being maintained and updated alongside Ada-2012? I should probably let Randy answer this, but I think the answer to your questions is that it hasn't kept up, due to insufficient funding. But what I really wanted to point out was that it's not reasonable to expect ACATS to catch everything; and the fact that one simple test breaks a compiler that passes ACATS isn't itself evidence that there's a flaw in ACATS. I believe ACATS is set up to check each feature and rule defined in the language (or something like that), but it can't test every combination of every feature. And this case seems to involve a combination of limited controlled types and interfaces (and perhaps extended return). Even if there is, or should be, an ACATS test that tests interfaces in conjunction with controlled types, it may not occur to the test suite maintainer that there needs to be a separate test to do the same thing with limited controlled types, because they may not envision that a compiler could work with non- limited controlled types but blow up with limited ones. Also, I suspect that a major purpose of ACATS is to ensure that the compiler vendors understand the language rules and have implemented them. It is not, and cannot, be to ensure that the implementation is correct and bug-free in every case. I'm posting this because the "Why didn't ACATS test for this??" sentiment has come up more than once, but I don't think it's justified. > Is there a mechanism for adding ad-hoc test cases like this one to ACATS? > One would like to think there is a more systematic effort to add tests > alongside features as they are developed. I'm wondering if there might be a need for some other public test suite that users can contribute to. I don't think ACATS would be an appropriate suite to for just dumping any test cases users find--that just doesn't seem like the right place--but perhaps someone could start a web site. -- Adam