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=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Remove un-necessary "with" and "use"
Date: Mon, 07 Apr 2014 07:21:39 +0100
Organization: A noiseless patient Spider
Message-ID: <lyfvlpwtfw.fsf@pushface.org>
References: <76e9bc08-2632-4e3a-b75d-abf3ad18ce40@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx05.eternal-september.org;
 posting-host="a0d4eb314a073b71869f2de305ad0700";
 logging-data="19891"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX1+2ULOWxh+OQV0Ze3EMhlgtSD9eQpmTH0o="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:QKcj94orfNVMU1KY85GF/lcFWs4=
 sha1:pEo7ilJi+o3VA0Mk5lBJnFSsn+U=
Xref: number.nntp.dca.giganews.com comp.lang.ada:185569
Date: 2014-04-07T07:21:39+01:00
List-Id: <comp.lang.ada>

dontspam365@gmail.com writes:

> Is there a way to remove/get warning about "with" and possibly "use"
> that are not "contributing to the executable", via GPS 5.2.1 or
> possibly some of the GNAT tools?

If you want to get the warning so that you can remove (or move) the
"with"s, then -gnatwu will do the trick.

If you want most standard warnings, -gnatwa does it. If you want most
standard warnings but not unused "withs", use -gnatwaU.

Or you could say

   pragma Warnings (Off);
   with Unused_Package;
   pragma Warnings (On);

in the code.