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-7-bit
Received: by 10.42.155.2 with SMTP id s2mr21243101icw.5.1320424798725;
        Fri, 04 Nov 2011 09:39:58 -0700 (PDT)
Path: 
 p6ni70824pbn.0!nntp.google.com!news2.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: limited allocated classwide types
Date: Fri, 04 Nov 2011 16:39:56 +0000
Organization: A noiseless patient Spider
Message-ID: <m2sjm3deoz.fsf@pushface.org>
References: <0ed43f83-40e7-46d3-8cc4-e1c41f500d28@c1g2000vbw.googlegroups.com>
	<m21utoer3d.fsf@pushface.org>
	<e3ca4799-e6e1-42c3-a522-d04b8221979f@er6g2000vbb.googlegroups.com>
	<j90cm9$7p0$1@dont-email.me>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="dFCm8HWntFqmDIilBLqEJQ";
	logging-data="23965"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/zxJFKEjFQtJCceOop8DfVU78hyGIRagc="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (darwin)
Cancel-Lock: sha1:KZY7RA0hSA0kKsm9csxeMhLMIZM=
	sha1:7uIyxNalaBI6fO58DfTy4TPijWw=
Xref: news2.google.com comp.lang.ada:14316
Content-Type: text/plain; charset=us-ascii
Date: 2011-11-04T16:39:56+00:00
List-Id: <comp.lang.ada>

Brian Drummond <brian@shapes.demon.co.uk> writes:

> 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?

The acats/ files in the GCC repository haven't been updated for ACATS
3.0, and I can't see any statement as to what version it actually
is. From the Changelog, looks like 2.5.

3.0 does contain tests on extended return. However, it doesn't seem to
me that any of them check the case where the object being returned is
not only limited but also controlled; they're all aimed at checking that
the compiler doesn't allow things it shouldn't. The tests are b65000*.