This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Pre-inline optimization, version 3


On 1/10/07, Jan Hubicka <jh@suse.cz> wrote:
Hi,
this is slightly improved version of the patch - now when the leak
concncerning SSA names is plugged I can actually ggc_free the SSA names
instead of doing the memset hack.

It would be OK to also just NULLify the pointer to SSA names list now,
but I would actually like to have some mean of checking that the names
are no longer referenced at this place as it is important for whole
consumption (ie if we manage to leak pointer to single name of the list,
we bring alive a lot of other datastructures).  I would be however happy
to skip the ggc_free if it would block the patch and this can be
addressed independencty by Zdenek's verifier or something.

Boostrapped/regtested i686-linux, I also have PPC bootstrap with
--enable-checking=gc,gcac running for three days.  I probably will need
to interrupt it after little extra while, but I hope it is enought of
check that we ought to be quite safe concerning the references to dead
SSA names.

The patch makes following regression to disappear:
gcc.c-torture/execute/pr15262-1.c execution,  -O2
gcc.c-torture/execute/pr15262-1.c execution,  -O3 -fomit-frame-pointer
gcc.c-torture/execute/pr15262-1.c execution,  -O3 -g
gcc.c-torture/execute/pr15262-1.c execution,  -Os
From nature of the regression I would guess the problem is just made
latent, I will check tomorrow.

I'm about to fix this problem. It's a bug in PTA i noticed while rewriting most of the solver.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]