Release RTL bodies after compilation (sometimes)

[Daniel Jacobowitz]

On Tue, Sep 14, 2004 at 05:07:02PM -0400, Jakub Jelinek wrote:
> On Tue, Sep 14, 2004 at 02:51:39PM -0600, Jeffrey A Law wrote:
> > The problem is your change to explicitly call ggc_free bypasses the
> > entire GC mechanisms we've built.  As I've stated before, if you
> > can't be absolutely sure that there are no pointers left into your
> > object, then the object is _NOT_ a candidate for ggc_free.  I can't
> > emphasize this enough.
> 
> Shouldn't we have a checking mode which verifies this then?
> I.e. ggc_free in that mode would just set a flag and if during GC
> collection an object marked that way is reachable, we would abort ().

What a good idea.  Richard implemented it in January, when he
implemented ggc_free :-)

-- 
Daniel Jacobowitz