From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.DFxaDADwSkn+6wW9Ah21PA.user.gioia.aioe.org!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: GNAT CE 2019 bug: Predicate check not performed
Date: Tue, 21 Apr 2020 08:45:52 +0100
Organization: Aioe.org NNTP Server
Message-ID: <lya735gu33.fsf@pushface.org>
References: <df8a5155-3949-48cb-afa3-887e27a520f5@googlegroups.com>
	<3dc6396a-fdbe-4da1-b806-d54ac76c1a3f@googlegroups.com>
	<0a4df528-a44c-433d-9ac6-47e6fe68862b@googlegroups.com>
	<548bf0f1-2e25-4110-acf9-3aa5940df7da@googlegroups.com>
	<688ece56-7236-408f-aa8a-db8082b6b0e0@googlegroups.com>
	<0d6a959d-e4f7-4cc7-af56-b00de9f7cba6@googlegroups.com>
	<165e966b-f8d3-4d2a-86ae-447c464bd9f6@googlegroups.com>
NNTP-Posting-Host: DFxaDADwSkn+6wW9Ah21PA.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (darwin)
Cancel-Lock: sha1:Jd9hZLPLlMIDgn+iC4m2OH2CpFU=
X-Notice: Filtered by postfilter v. 0.9.2
Xref: reader01.eternal-september.org comp.lang.ada:58450
Date: 2020-04-21T08:45:52+01:00
List-Id: <comp.lang.ada>

Anh Vo <anhvofrcaus@gmail.com> writes:

>  I am not sure if the fix will be in GNAT Community 2020 since this
> bug report is not early enough. It would be terrific if it is included
> in the upcoming release of GNAT Community 2020.

It's not fixed in FSF GCC 10 (as of gcc version 10.0.1 20200206; no
obviously-related changes since then)