From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>
Newsgroups: comp.lang.ada
Subject: Re: GNAT Error?
Date: Sun, 18 Feb 2024 12:48:53 +0100
Organization: A noiseless patient Spider
Message-ID: <uqsqr5$10q8l$1@dont-email.me>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 18 Feb 2024 11:48:53 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="3a77db304f3e44ffefad49eeb8e6dea8";
	logging-data="1075477"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+7yThQ+f+/xtgdi0eli2P4pab7/1vjdJk="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:btrqptQHVpwpPp9l7QN0MJ5mFPg=
In-Reply-To: <lyttm6jdnw.fsf@pushface.org>
Content-Language: en-US
Xref: news.eternal-september.org comp.lang.ada:66091
List-Id: <comp.lang.ada>

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.

-- 
Jeff Carter
"We'll make Rock Ridge think it's a chicken
that got caught in a tractor's nuts!"
Blazing Saddles
87