From: Simon Wright <simon@pushface.org>
Subject: Re: Recommendation of safe subset of Ada to use?
Date: Tue, 08 May 2018 09:07:30 +0100
Date: 2018-05-08T09:07:30+01:00 [thread overview]
Message-ID: <lyh8nih8ot.fsf@pushface.org> (raw)
In-Reply-To: pcqqeh$4o3$1@franka.jacob-sparre.dk
"Randy Brukardt" <randy@rrsoftware.com> writes:
> Note that examples of this case were included in ACATS test B641002,
> including one that looks nearly identical to the OP's example. That
> was issued in March 2014, so it's quite possible for older compilers
> to not make the check. If a new compiler doesn't make the check,
> definitely complain to your vendor and tell 'em I sent you. :-)
GNAT GPL >= 2015, FSF GCC >= 5 all refuse to compile that test: 23
errors each of which is marked in the source as expected.
next prev parent reply other threads:[~2018-05-08 8:07 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-05-05 21:23 Recommendation of safe subset of Ada to use? joakimds
2018-05-05 21:32 ` gorgelo
2018-05-06 7:43 ` Jeffrey R. Carter
2018-05-06 8:45 ` Niklas Holsti
2018-05-06 8:52 ` gorgelo
2018-05-06 13:15 ` Jere
2018-05-06 13:47 ` Jere
2018-05-06 21:28 ` Brad Moore
2018-05-08 0:19 ` Randy Brukardt
2018-05-08 8:07 ` Simon Wright [this message]
2018-05-07 15:54 ` onox
2018-05-08 0:22 ` Randy Brukardt
2018-05-08 0:06 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox