From 269da1e916910bcac1ddb8d82fba86eb5d0fc419 Mon Sep 17 00:00:00 2001 From: Kazu Hirata Date: Thu, 28 Oct 2004 02:56:50 +0000 Subject: [PATCH] tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Use EDGE_COUNT instead of GOTO_DESTINATION. * tree-ssa-dce.c (mark_stmt_if_obviously_necessary) : Use EDGE_COUNT instead of GOTO_DESTINATION. From-SVN: r89729 --- gcc/ChangeLog | 5 +++++ gcc/tree-ssa-dce.c | 12 +----------- 2 files changed, 6 insertions(+), 11 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 07ac74ad079..dd448d1c1dc 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-10-28 Kazu Hirata + + * tree-ssa-dce.c (mark_stmt_if_obviously_necessary) + : Use EDGE_COUNT instead of GOTO_DESTINATION. + 2004-10-28 Joseph S. Myers * doc/contrib.texi, doc/cpp.texi, doc/cppopts.texi, diff --git a/gcc/tree-ssa-dce.c b/gcc/tree-ssa-dce.c index 563a99bf37e..47038ad3152 100644 --- a/gcc/tree-ssa-dce.c +++ b/gcc/tree-ssa-dce.c @@ -330,17 +330,7 @@ mark_stmt_if_obviously_necessary (tree stmt, bool aggressive) return; case COND_EXPR: - if (GOTO_DESTINATION (COND_EXPR_THEN (stmt)) - == GOTO_DESTINATION (COND_EXPR_ELSE (stmt))) - { - /* A COND_EXPR is obviously dead if the target labels are the same. - We cannot kill the statement at this point, so to prevent the - statement from being marked necessary, we replace the condition - with a constant. The stmt is killed later on in cfg_cleanup. */ - COND_EXPR_COND (stmt) = integer_zero_node; - modify_stmt (stmt); - return; - } + gcc_assert (EDGE_COUNT (bb_for_stmt (stmt)->succs) == 2); /* Fall through. */ case SWITCH_EXPR: -- 2.30.2