From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: GNAT Error?
Date: Sun, 18 Feb 2024 09:59:47 +0000
Organization: A noiseless patient Spider
Message-ID: <lyttm6jdnw.fsf@pushface.org>
References: <uqootl$3rue0$1@dont-email.me> <l3a99aFjrfbU1@mid.individual.net>
	<uqos24$3rue0$2@dont-email.me> <uqpi78$9mms$1@dont-email.me>
	<uqpime$9jg8$1@dont-email.me> <lyy1bije5y.fsf@pushface.org>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: dont-email.me; posting-host="ad4299653a872e9f5cf3ec88917e7b30";
	logging-data="1049352"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19P+vzHSkmu87QT0RsqR95QnuXTFnjTN10="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (darwin)
Cancel-Lock: sha1:r3I2BYE4MSeZlTd7028gof9Ijm4=
	sha1:knHp8j62KHwi3lVXx/rC4F+RPVE=
Xref: news.eternal-september.org comp.lang.ada:66086
List-Id: <comp.lang.ada>

Simon Wright <simon@pushface.org> writes:

> "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not> writes:
>
>> On 2024-02-17 07:04, Randy Brukardt wrote:
>>> I don't see anything wrong with that off-hand. It's probably a
>>> compiler bug of some sort. - Randy.
>>
>> That's what I thought. I know some people have GNAT 14. I'll wait a
>> bit to see if any of them report on if this is still the case before
>> reporting it.
>
> None of GCC 11.2.0, 12.2.0, 13.2.0, 14.0.1 report errors with
> alloc2.adb.
>
> These are all apple-darwin, but the error reported is going to be a
> front-end error.

Oh, you didn't say that -gnata is needed to provoke the error, though
it's not really a surprise.

Now, only GCC 11.2.0 doesn't have the error; so it's a regression in GCC
12.