tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Don't let an explicit GOTO_EXPR...

	* tree-ssa-dce.c (mark_stmt_if_obviously_necessary)
	<GOTO_EXPR>: Don't let an explicit GOTO_EXPR slip through.

From-SVN: r89698

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: