From 359202709b30a7b66b858591dfba5621caa0e5aa Mon Sep 17 00:00:00 2001 From: Kazu Hirata Date: Wed, 3 Nov 2004 01:40:56 +0000 Subject: [PATCH] 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 --- gcc/ChangeLog | 5 +++++ gcc/tree-cfg.c | 8 ++++---- 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f1234bacec6..d3d8d612185 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-11-03 Kazu Hirata + + * 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 * fold-const.c (fold): Reassociate also (x - mult) + mult and diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index c886f6a5616..b6d288bfca8 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 (); } -- 2.30.2