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: "rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 15 Feb 2008 09:23:26 -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 #6 from rguenth at gcc dot gnu dot org 2008-02-15 09:23 -------
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.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164