From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: GNAT CE 2019 bug: Predicate check not performed
Date: Mon, 20 Apr 2020 13:25:21 -0700 (PDT)
Date: 2020-04-20T13:25:21-07:00 [thread overview]
Message-ID: <688ece56-7236-408f-aa8a-db8082b6b0e0@googlegroups.com> (raw)
In-Reply-To: <548bf0f1-2e25-4110-acf9-3aa5940df7da@googlegroups.com>
On Monday, April 20, 2020 at 3:04:47 AM UTC-7, AdaMagica wrote:
> Am Montag, 20. April 2020 00:32:37 UTC+2 schrieb Anh Vo:
> > It takes time to look thru the LRM to see if...
>
> RM 11.4.2(10.2/3) ... A pragma Assertion_Policy given in a declarative_part or ... applies from the place of the pragma to the end of the innermost enclosing declarative region. ...
I read this section and other related paragraphs. I could not any where that confirms this behavior. Therefore, I would suggest to send a bug report to report@adacore.com.
next prev parent reply other threads:[~2020-04-20 20:25 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 [this message]
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
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