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.246.3 with SMTP id lw3mr15781397icb.0.1320400394615;
        Fri, 04 Nov 2011 02:53:14 -0700 (PDT)
Path: 
 p6ni69758pbn.0!nntp.google.com!news2.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!news.musoftware.de!wum.musoftware.de!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Brian Drummond <brian@shapes.demon.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: limited allocated classwide types
Date: Fri, 4 Nov 2011 09:53:14 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <j90cm9$7p0$1@dont-email.me>
References: <0ed43f83-40e7-46d3-8cc4-e1c41f500d28@c1g2000vbw.googlegroups.com>
	<m21utoer3d.fsf@pushface.org>
	<e3ca4799-e6e1-42c3-a522-d04b8221979f@er6g2000vbb.googlegroups.com>
Mime-Version: 1.0
Injection-Date: Fri, 4 Nov 2011 09:53:14 +0000 (UTC)
Injection-Info: mx04.eternal-september.org;
 posting-host="DkTdSjxOCm6DqG+Uf7eArg";
	logging-data="7968"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19cUM17phD8fGRUavW0SJ5T+mUIJO2xK9s="
User-Agent: Pan/0.134 (Wait for Me; GIT cb32159 master)
Cancel-Lock: sha1:LKXK53Cf1DYHQEY6OxOXO2hxh+Q=
Xref: news2.google.com comp.lang.ada:14310
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 2011-11-04T09:53:14+00:00
List-Id: <comp.lang.ada>

On Thu, 03 Nov 2011 16:35:14 -0700, Simon Belmont wrote:

> Though it is satisfying to hear that this is most likely a compiler
> error, and not poor programming skills on my part, I can't help but feel
> unnerved by this.  I am only months into being an Ada programmer and not
> trying to anything that isn't well described and ostensibly supported,
> so it seems odd that such a basic test case would uncover and compiler
> bug.  Moreover, one of the points of pride is that Ada compilers are
> heavily tested and verified for safety critical apps, which this seems
> to undercut.  Not to sound snarky, but I personally have never found a
> bug in a GPL C compiler.

Simon W has pointed you at Adacore for reporting the bug, and it's great 
that you have such a simple testcase.

I reported a much more trivial bug some time ago, expecting nothing 
(since it was the GPL version of the compiler). About four months later, 
out of the blue,  I received a note of thanks and an acknowledgment that 
the bug had been fixed. Well done Adacore...

My experience suggests that there are some untried corner cases simply 
because there are fewer people using and exercising the compiler. So I 
wouldn't want you to be discouraged ... that would mean one fewer pair of 
eyes!

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?

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.

- Brian