From: Simon Wright <simon@pushface.org>
Subject: Re: limited allocated classwide types
Date: Fri, 04 Nov 2011 16:39:56 +0000
Date: 2011-11-04T16:39:56+00:00 [thread overview]
Message-ID: <m2sjm3deoz.fsf@pushface.org> (raw)
In-Reply-To: j90cm9$7p0$1@dont-email.me
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*.
next prev parent reply other threads:[~2011-11-04 16:39 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-11-03 22:01 limited allocated classwide types Simon Belmont
2011-11-03 22:50 ` Adam Beneschan
2011-11-03 23:14 ` Simon Wright
2011-11-03 23:35 ` Simon Belmont
2011-11-04 0:30 ` Adam Beneschan
2011-11-04 0:51 ` Adam Beneschan
2011-11-04 7:40 ` Simon Wright
2011-11-04 8:42 ` Dmitry A. Kazakov
2011-11-04 9:18 ` Georg Bauhaus
2011-11-04 9:53 ` Brian Drummond
2011-11-04 16:39 ` Simon Wright [this message]
2011-11-04 18:47 ` Adam Beneschan
2011-11-04 20:03 ` Simon Wright
2011-11-08 4:25 ` Randy Brukardt
2011-11-08 12:10 ` Brian Drummond
2011-11-08 12:35 ` Simon Wright
2011-11-08 13:05 ` Dmitry A. Kazakov
2011-11-10 9:56 ` Álex R. Mosteo
2011-11-04 12:25 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox