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,4ecd0afd2a2401e1
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.75.170 with SMTP id d10mr22775217pbw.6.1325094464250;
        Wed, 28 Dec 2011 09:47:44 -0800 (PST)
Path: 
 lh20ni74481pbb.0!nntp.google.com!news2.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: Jan Andres <J@nAndr.es>
Newsgroups: comp.lang.ada
Subject: Re: Strange GNAT compiler warning
Date: Wed, 28 Dec 2011 17:47:43 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <jdfknv$bk5$1@dont-email.me>
References: <jdf9k5$t9s$1@dont-email.me>
 <4efb48b1$0$6558$9b4e6d93@newsspool4.arcor-online.net>
Mime-Version: 1.0
Injection-Date: Wed, 28 Dec 2011 17:47:43 +0000 (UTC)
Injection-Info: mx04.eternal-september.org;
 posting-host="xXJ3ie/XxBbroS98S2tmyQ";
	logging-data="11909"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18UJVZoAgk68FhZt+ovYUOiA3Z3U8fTiEw="
User-Agent: slrn/0.9.9p1 (Linux)
Cancel-Lock: sha1:peAICkuHpiNbhYaN0B0FJ9pzdZg=
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Date: 2011-12-28T17:47:43+00:00
List-Id: <comp.lang.ada>

On 2011-12-28, Georg Bauhaus <rm.dash-bauhaus@futureapps.de> wrote:
> On 28.12.11 15:37, Jan Andres wrote:
>> package Strange_Warning is
>>     type Foo is limited interface;
>>     type Bar is new Foo with null record;
>> end Strange_Warning;
>
> -Wall is a GCC option made for front ends to languages
> other than Ada, in GCC.
>
> Use -gnatwa instead.

A-ha, thanks!

Actually, this is what the GNAT doc says about -Wall:

| `-Wall'
|      This switch enables most warnings from the `GCC' back end.  The
|      code generator detects a number of warning situations that are
|      missed by the `GNAT' front end, and this switch can be used to
|      activate them.  The use of this switch also sets the default front
|      end warning mode to `-gnatwa', that is, most front end warnings
|      activated as well.

So looks like it can make sense to use -Wall even with GNAT, but I
don't depend on it. I'll just go with -gnatwa for now.

-- 
Jan Andres <J@nAndr.es>