Remove un-necessary "with" and "use"

Remove un-necessary "with" and "use"

[dontspam365]

Hi! 
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?
Frank

Re: Remove un-necessary "with" and "use"

[Jeffrey Carter]

On 04/06/2014 01:56 PM, dontspam365@gmail.com wrote:
> 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?

I suspect you'll find the answer in the secret GNAT documentation.

-gnatwall

enables all warnings, including any that relate to what you're looking for.

-- 
Jeff Carter
"I soiled my armor, I was so scared."
Monty Python & the Holy Grail
71

Re: Remove un-necessary "with" and "use"

[J-P. Rosen]

Le 06/04/2014 22:56, dontspam365@gmail.com a écrit :
> Hi! 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? Frank
> 
With AdaControl:
check unnecessary_use_clause;
check with_clauses (reduceable);

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr

Re: Remove un-necessary "with" and "use"

[Simon Wright]

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.

Re: Remove un-necessary "with" and "use"

[Simon Wright]

Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org> writes:

> -gnatwall

This enables standard warnings plus missing elaboration pragmas.

I used to say -gnatwaL, but I see that L is now the default.

Re: Remove un-necessary "with" and "use"

[dontspam365]

Thank you for help.