------- Comment #13 from ebotcazou at gcc dot gnu dot org 2007-07-13 19:09 ------- > What about doing the same for them?
That doesn't work as easily as I expected. :-) Now I get the same assertion failure for non-degenerate PHI nodes whose result is not SSA_NAME_OCCURS_IN_ABNORMAL_PHI but whose operands are, so something like --- tree-ssa-sccvn.c (revision 126547) +++ tree-ssa-sccvn.c (working copy) @@ -1502,7 +1502,11 @@ visit_use (tree use) { if (TREE_CODE (stmt) == PHI_NODE) { - changed = visit_phi (stmt); + tree result = PHI_RESULT (stmt); + if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (result)) + changed = set_ssa_val_to (result, result); + else + changed = visit_phi (stmt); } else if (TREE_CODE (stmt) != GIMPLE_MODIFY_STMT || (ann && ann->has_volatile_ops)) is not sufficient. So I'm going to test your solution. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32705