------- 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
