From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,2901996ead8d0ecd
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.81.8 with SMTP id v8mr1522878wix.7.1360433051361;
        Sat, 09 Feb 2013 10:04:11 -0800 (PST)
Path: 
 bp2ni27100wib.1!nntp.google.com!proxad.net!feeder1-2.proxad.net!usenet-fr.net!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!feeder.erje.net!eu.feeder.erje.net!newsfeed.freenet.ag!takemy.news.telefonica.de!telefonica.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sat, 09 Feb 2013 19:04:10 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/20130107 Thunderbird/17.0.2
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Assertion_Policy implementation regarding Aspect Features
References: <dd938cdd-f00d-413a-8d1c-b4e7f140c7ab@googlegroups.com>
 <ly6221ss2e.fsf@pushface.org>
In-Reply-To: <ly6221ss2e.fsf@pushface.org>
Message-ID: <51168f95$0$6565$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 09 Feb 2013 19:04:05 CET
NNTP-Posting-Host: 1d068022.newsspool3.arcor-online.net
X-Trace: 
 DXC=TMgCY19ecPFC4i^e1BZ=_HMcF=Q^Z^V3H4Fo<]lROoRA8kF<OcfhCOK5LCKWkH=]UOPCY\c7>ejVHGh<BMQQn1>H76M;;Tk`?mJ
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2013-02-09T19:04:05+01:00
List-Id: <comp.lang.ada>

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