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=3.8 required=5.0 tests=BAYES_00,INVALID_MSGID,
	RATWARE_MS_HASH,RATWARE_OUTLOOK_NONAME autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,2a17785321e80884
X-Google-Attributes: gid103376,public
From: "wiljan" <W.Derks@nl.cis.philips.com>
Subject: Re: Redundant With Remover
Date: 1998/02/01
Message-ID: <01bd2e97$9fd074a0$0f208b82@wd>#1/1
X-Deja-AN: 321046265
References: <886175452.1936588810@dejanews.com>
 <34D32B8E.F86335E1@elca-matrix.ch>
Organization: Philips Electronics N.V.
Newsgroups: comp.lang.ada
Date: 1998-02-01T00:00:00+00:00
List-Id: <comp.lang.ada>


Mats Weber <Mats.Weber@elca-matrix.ch> wrote in article
<34D32B8E.F86335E1@elca-matrix.ch>...
> > Does anybody know of a utility that can check for unneccessary with'd
> > packages? Obviously it would be harder to spot for packages that are
also
> > use'd, but if the utility also looks at the with'd package to see if
> > anything is actually used, it could be done.
> 
> gnatf (part of the GNAT compiler) does that.
>
Yes you can do this with gnatf -x1
It sometimes reports that with clauses are not needed incorrectly however.