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: a07f3367d7,7e6f147f56e2305e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
X-Received: by 10.180.100.74 with SMTP id ew10mr1712271wib.7.1358656026710;
        Sat, 19 Jan 2013 20:27:06 -0800 (PST)
Path: 
 o9ni8446wio.1!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!194.109.133.83.MISMATCH!newsfeed.xs4all.nl!newsfeed4.news.xs4all.nl!xs4all!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!nntp.giganews.com!news.panservice.it!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: GCC compiler option as pragma
Date: Sat, 12 Jan 2013 11:51:04 +0100
Organization: A noiseless patient Spider
Message-ID: <87txqmr7xj.fsf@ludovic-brenta.org>
References: 
 <0415ee57-9834-4bb2-80ff-de2d394eb7f7@b16g2000vbh.googlegroups.com>
	<50F12F91.4010001@obry.net>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="ad41226ec69409ab8cb265a3ff3f60ac";
	logging-data="1681"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+u2jrCzBsKvKotPHAF9Q+/"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:1JXiB+mhMSMVtm1ZIYAGGmT3Ubo=
	sha1:ihhEKnuoXQ5znzfzlfmDfZpRBdE=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Date: 2013-01-12T11:51:04+01:00
List-Id: <comp.lang.ada>

Pascal Obry <pascal@obry.net> writes:

> Le 11/01/2013 15:27, Gautier write-only a écrit :
>> Hello,
>> It seems too easy to be asked... but is there any way to pass a GCC
>> compiler option through a pragma in a unit's source ?
>
> I don't think so.

There is a way to pass *some* but not all options, namely those
controlling warnings (-ngtaw*), style checks (-gnaty*) and validity
checks (-gnatV*); see

http://gcc.gnu.org/onlinedocs/gcc-4.6.3/gnat_rm/Pragma-Style_005fChecks.html#Pragma-Style_005fChecks
http://gcc.gnu.org/onlinedocs/gcc-4.6.3/gnat_rm/Implementation-Defined-Pragmas.html#Implementation-Defined-Pragmas
http://gcc.gnu.org/onlinedocs/gcc-4.6.3/gnat_rm/Pragma-Warnings.html#Pragma-Warnings

And, of course, the language defined pragma Optimize and pragma
Linker_Options.

-- 
Ludovic Brenta.