Re: GNAT Error?

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.