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 14:33:51 +0000
Organization: A noiseless patient Spider
Message-ID: <lyle7hkfjk.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>
	<lyttm6jdnw.fsf@pushface.org> <uqsqr5$10q8l$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: dont-email.me; posting-host="ad4299653a872e9f5cf3ec88917e7b30";
	logging-data="1258591"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/bng9FxMyS1/auPGeiyK68Eou+g8XWT0Q="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (darwin)
Cancel-Lock: sha1:6OWmx+nurv6itYlDHV6W4+W/3eg=
	sha1:wJowUqHg5y1hn/WIhzEcrcOBsc4=
Xref: news.eternal-september.org comp.lang.ada:66093
List-Id: <comp.lang.ada>

"Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not> writes:

> On 2024-02-18 10:59, Simon Wright wrote:
>> 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.
>
> Sorry, I should have given my compilation options. You're right that I
> used -gnata. But I did say it was related to the Dynamic_Predicate.
>
> As you have GNAT 14 and I don't, perhaps it would be best for you to
> report this.

See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113979