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

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

From-SVN: r89698

gcc/ChangeLog

+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

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: