From: William J. Franck <william@sterna.io>
Subject: Re: GNAT CE 2019 bug: Predicate check not performed
Date: Mon, 27 Apr 2020 08:29:44 +0200
Date: 2020-04-27T08:29:44+02:00 [thread overview]
Message-ID: <5ea67bd8$0$6455$426a74cc@news.free.fr> (raw)
In-Reply-To: lya735gu33.fsf@pushface.org
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.
next prev parent reply other threads:[~2020-04-27 6:29 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-04-19 9:28 GNAT CE 2019 bug: Predicate check not performed AdaMagica
2020-04-19 22:31 ` Anh Vo
2020-04-19 22:32 ` Anh Vo
2020-04-20 10:04 ` AdaMagica
2020-04-20 20:25 ` Anh Vo
2020-04-21 0:53 ` AdaMagica
2020-04-21 2:59 ` Anh Vo
2020-04-21 7:45 ` Simon Wright
2020-04-27 6:29 ` William J. Franck [this message]
2020-04-21 5:14 ` Per Sandberg
2020-04-21 7:34 ` AdaMagica
2020-04-21 16:04 ` Per Sandberg
2020-04-21 7:40 ` Simon Wright
2020-04-21 16:59 ` Optikos
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox