From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: Assertion_Policy implementation regarding Aspect Features
Date: Sat, 9 Feb 2013 06:48:20 -0800 (PST)
Date: 2013-02-09T06:48:20-08:00 [thread overview]
Message-ID: <5af5e07a-5caa-437d-af7d-a73fcbdd8541@googlegroups.com> (raw)
In-Reply-To: <ly6221ss2e.fsf@pushface.org>
On Saturday, February 9, 2013 2:24:41 AM UTC-8, Simon Wright wrote:
> Anh Vo <anhvofrcaus@gmail.com> writes:
>
>
> > This inspires me to learn this feature a little bit deeper. I would
>
> > like to know if GNAT comply with ARM by showing the following
>
> > scenarios.
>
> On the other hand, the fact that your predicate isn't disabled by pragma
>
> Assertion_Policy (Ignore) may be a failure to comply with the second
>
> sentence of ARM 11.4.2(10)[1]:
>
Thank you for your analysis. It does not make sense to comply with pragma Assertion_Policy thru compiler option.
next prev parent reply other threads:[~2013-02-09 14:48 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-02-09 1:52 Assertion_Policy implementation regarding Aspect Features Anh Vo
2013-02-09 10:24 ` Simon Wright
2013-02-09 14:48 ` Anh Vo [this message]
2013-02-09 18:04 ` Georg Bauhaus
2013-02-21 23:21 ` Anh Vo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox