From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Assertion_Policy implementation regarding Aspect Features
Date: Sat, 09 Feb 2013 19:04:10 +0100
Date: 2013-02-09T19:04:05+01:00 [thread overview]
Message-ID: <51168f95$0$6565$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <ly6221ss2e.fsf@pushface.org>
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
next prev parent reply other threads:[~2013-02-09 18:04 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 [this message]
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