Re: Source Analysis Tools for Ada95

[Jano <nono@celes.unizar.es>]

Simon Wright dice...
> tony@probepak.com (Dr. Anthony Probe) writes:
> 
> > > Gnat includes "gnatelim" which generates a list of gnat specific
> > > pragmas causing no object code to be built for dead code.  You
> > > should be able to use this as a starting point for deleting unused
> > > code.
> > 
> > Wouldn't a compiler only detect the obvious dead code (that which
> > isn't used from just analyzing the comp unit?
> 
> I have never used gnatelim, because the one time I tried it took a
> long time (this was a few years ago) and I didn't really have a
> problem anyway. But its intention is to find and mark those
> subprograms (?and other constructs?) that aren't used in the
> closure. Sounds like what you're after!

My two experiences with gnatelim were a bit disappointing. I don't know 
if I did something wrong, but in both cases Gnat tried to remove 
subprograms who where actually being called.

-- 
-------------------------
Jano
402450.at.cepsz.unizar.es
-------------------------