From: Simon Wright <simon@pushface.org>
Subject: Re: GNAT Error?
Date: Sun, 18 Feb 2024 09:59:47 +0000 [thread overview]
Message-ID: <lyttm6jdnw.fsf@pushface.org> (raw)
In-Reply-To: lyy1bije5y.fsf@pushface.org
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.
next prev parent reply other threads:[~2024-02-18 9:59 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-02-16 22:51 GNAT Error? Jeffrey R.Carter
2024-02-16 23:26 ` Niklas Holsti
2024-02-16 23:45 ` Jeffrey R.Carter
2024-02-17 6:04 ` Randy Brukardt
2024-02-17 6:11 ` Jeffrey R.Carter
2024-02-18 9:48 ` Simon Wright
2024-02-18 9:59 ` Simon Wright [this message]
2024-02-18 11:48 ` Jeffrey R.Carter
2024-02-18 14:33 ` Simon Wright
2024-03-07 14:54 ` Simon Wright
2024-03-07 15:06 ` Jeffrey R.Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox