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!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!cleanfeed3-a.proxad.net!nnrp4-2.free.fr!not-for-mail
From: William J. Franck <william@sterna.io>
Organization: Sterna IO
Newsgroups: comp.lang.ada
Date: Mon, 27 Apr 2020 08:29:44 +0200
Message-ID: <5ea67bd8$0$6455$426a74cc@news.free.fr>
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>
 <lya735gu33.fsf@pushface.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: GNAT CE 2019 bug: Predicate check not performed
User-Agent: Unison/2.2
NNTP-Posting-Date: 27 Apr 2020 08:29:44 CEST
NNTP-Posting-Host: 86.239.19.149
X-Trace: 1587968984 news-2.free.fr 6455 86.239.19.149:49965
X-Complaints-To: abuse@proxad.net
Xref: reader01.eternal-september.org comp.lang.ada:58504
Date: 2020-04-27T08:29:44+02:00
List-Id: <comp.lang.ada>

On 2020-04-21 07:45:52 +0000, Simon Wright said:

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


Still not fixed in FSF gcc 10 master branch as on 2020-04-21

$ gnat -version
GNAT 10.0.1 20200421 (experimental)
Copyright 1996-2020, Free Software Foundation, Inc.

on MacOS 10.14.6

$./ass
P expects 5: 1
Problem Q: Assertion_Error not raised.
P: Assertion_Error raised as expected.