From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: Assertion_Policy implementation regarding Aspect Features
Date: Thu, 21 Feb 2013 15:21:58 -0800 (PST)
Date: 2013-02-21T15:21:58-08:00 [thread overview]
Message-ID: <896ab7bf-7f77-4e7c-a3cd-197243c0a134@googlegroups.com> (raw)
In-Reply-To: <51168f95$0$6565$9b4e6d93@newsspool3.arcor-online.net>
On Saturday, February 9, 2013 10:04:10 AM UTC-8, Georg Bauhaus wrote:
>> On 09.02.13 11:24, Simon Wright wrote:
>> The fact that you need to enable assertions with -gnata seems to be a
>> GNAT feature, so we'll maybe need to add -gnata to the other flags
>> needed to make GNAT a standard-conforming compiler (-fstack-check, > -gnato).
>Should this additional flag be reported as missing from >http://gcc.gnu.org/onlinedocs/gnat_rm/Strict-Conformance-to-the-Ada-Reference->Manual.html
Robert Dewar confirms that Assertion_Policy is not fully implemented yet. A full implementation is being worked on as we speak. I am sure that this full implementation will be in gnat-gpl-2013.
prev parent reply other threads:[~2013-02-21 23:21 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
2013-02-09 18:04 ` Georg Bauhaus
2013-02-21 23:21 ` Anh Vo [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox