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: Thu, 07 Mar 2024 14:54:50 +0000
Organization: A noiseless patient Spider
Message-ID: <lyr0gmrt1h.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>
	<lyle7hkfjk.fsf@pushface.org>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: dont-email.me; posting-host="c7fb6e8ca10d687944ecdc469f571abc";
	logging-data="1169636"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18n8uA/qc7SQPLB/on67W1tyB9+PySndAU="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (darwin)
Cancel-Lock: sha1:PIGCBQc2Bsirjap1iZ4SrHtImho=
	sha1:g/8Zehc8BKTRCHRgDlbJkRMXoI4=
Xref: news.eternal-september.org comp.lang.ada:66128
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-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

And now fixed on all "active" branches! (that's 11, 12, 13 & master,
judging by the comments)

Of course, it takes a while for this to percolate through to a release.