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!peer01.am4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx15.am4.POSTED!not-for-mail
Subject: Re: GNAT CE 2019 bug: Predicate check not performed
Newsgroups: comp.lang.ada
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>
 <WivnG.74012$nY2.37458@fx06.am4>
 <da7f91e8-46f8-4241-960e-5c030a5de6e0@googlegroups.com>
From: Per Sandberg <per.s.sandberg@bahnhof.se>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.7.0
MIME-Version: 1.0
In-Reply-To: <da7f91e8-46f8-4241-960e-5c030a5de6e0@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <rQEnG.182564$Kji.7068@fx15.am4>
X-Complaints-To: abuse@usenet.se
NNTP-Posting-Date: Tue, 21 Apr 2020 16:04:39 UTC
Organization: usenet.se
Date: Tue, 21 Apr 2020 18:04:39 +0200
X-Received-Bytes: 1491
X-Received-Body-CRC: 1502691661
Xref: reader01.eternal-september.org comp.lang.ada:58452
Date: 2020-04-21T18:04:39+02:00
List-Id: <comp.lang.ada>


I tested against the 21.0w-20200305 version.
/P

On 4/21/20 9:34 AM, AdaMagica wrote:
> Am Dienstag, 21. April 2020 07:14:32 UTC+2 schrieb Per Sandberg:
>> Just tested with the latest supported GNAT and its fixed.
>> /P
> 
> I doubt it's fixed because of my report, too recent. But let's hope it will be correct again in GNAT CE 2020.
>