This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
- From: "rakdver at kam dot mff dot cuni dot cz" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 15 Feb 2008 14:06:02 -0000
- Subject: [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
- References: <bug-35164-87@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164