[Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs

["rguenther at suse dot de" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #10 from rguenther at suse dot de  2008-02-15 14:12 -------
Subject: Re:  [4.3 regression] Unable to coalesce
 ab SSA_NAMEs

On Fri, 15 Feb 2008, rakdver at kam dot mff dot cuni dot cz wrote:

> ------- Comment #9 from rakdver at kam dot mff dot cuni dot cz  2008-02-15 14:06 -------
> Subject: Re:  [4.3 regression] Unable to coalesce ab SSA_NAMEs
> 
> > Yeah, forwprop checks that it may propagate the name SR.40_22, but it doesn't
> > check recursively if any of the names occuring in the ADDR_EXPR of the rhs
> > are marked abnormal.
> > 
> > We should check for this before calling forward_propagate_addr_expr in
> > tree_ssa_forward_propagate_single_use_vars.  And probably add a new predicate
> > tree_contains_abnormal_ssa_name_p (tree exp) which walks exp recursively
> > (consider &b->c[d(AB)] or as in this case &a(AB)->x...).
> > 
> > Please unassign yourself if you want me to do it.
> 
> actually, I have a patch in testing.

Ok.  I also have finished testing a patch.  Let's just pick the nicer one,
so just post yours after it finished testing.

Richard.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164