* tree-ssa-dce.c (mark_stmt_if_obviously_necessary)

	<GOTO_EXPR>: Don't let an explicit GOTO_EXPR slip through.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@89698 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 75423d8..8f3324b 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-10-27  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * tree-ssa-dce.c (mark_stmt_if_obviously_necessary)
+       <GOTO_EXPR>: Don't let an explicit GOTO_EXPR slip through.
+
 2004-10-27  Daniel Berlin <dberlin@dberlin.org>
        
        Fix PR tree-optimization/17133

diff --git a/gcc/tree-ssa-dce.c b/gcc/tree-ssa-dce.c
index 2c68861..563a99b 100644 (file)
--- a/gcc/tree-ssa-dce.c
+++ b/gcc/tree-ssa-dce.c
@@ -325,8 +325,8 @@ mark_stmt_if_obviously_necessary (tree stmt, bool aggressive)
       break;
 
     case GOTO_EXPR:
-      if (! simple_goto_p (stmt))
-       mark_stmt_necessary (stmt, true);
+      gcc_assert (!simple_goto_p (stmt));
+      mark_stmt_necessary (stmt, true);
       return;
 
     case COND_EXPR: