From: Kazu Hirata <kazu@cs.umass.edu>
Date: Wed, 3 Nov 2004 01:40:56 +0000 (+0000)
Subject: tree-cfg.c (find_taken_edge): Abort if we are given a statement that is neither COND_... 
X-Git-Tag: releases/gcc-4.0.0~3470
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=359202709b30a7b66b858591dfba5621caa0e5aa;p=thirdparty%2Fgcc.git

tree-cfg.c (find_taken_edge): Abort if we are given a statement that is neither COND_EXPR nor SWITCH_EXPR.

	* tree-cfg.c (find_taken_edge): Abort if we are given a
	statement that is neither COND_EXPR nor SWITCH_EXPR.

From-SVN: r90015
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f1234bacec6a..d3d8d612185d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-11-03  Kazu Hirata  <kazu@cs.umass.edu>
+
+	* tree-cfg.c (find_taken_edge): Abort if we are given a
+	statement that is neither COND_EXPR nor SWITCH_EXPR.
+
 2004-11-02  Zdenek Dvorak  <dvorakz@suse.cz>
 
 	* fold-const.c (fold): Reassociate also (x - mult) + mult and
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index c886f6a56168..b6d288bfca82 100644
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -1941,9 +1941,9 @@ cleanup_control_expr_graph (basic_block bb, block_stmt_iterator bsi)
 }
 
 
-/* Given a control block BB and a predicate VAL, return the edge that
-   will be taken out of the block.  If VAL does not match a unique
-   edge, NULL is returned.  */
+/* Given a basic block BB ending with COND_EXPR or SWITCH_EXPR, and a
+   predicate VAL, return the edge that will be taken out of the block.
+   If VAL does not match a unique edge, NULL is returned.  */
 
 edge
 find_taken_edge (basic_block bb, tree val)
@@ -1971,7 +1971,7 @@ find_taken_edge (basic_block bb, tree val)
   if (TREE_CODE (stmt) == SWITCH_EXPR)
     return find_taken_edge_switch_expr (bb, val);
 
-  return EDGE_SUCC (bb, 0);
+  gcc_unreachable ();
 }