aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-eh.c
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2014-04-30 08:06:49 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2014-04-30 08:06:49 +0000
commite9ff9caf265a47e747c12de69bcf5bd6db32843e (patch)
tree89764a65392e04dc94709cea493bd321464376f5 /gcc/tree-eh.c
parentf8ed5150c3a1f821fb0cf266fc0fca76027fbef9 (diff)
downloadgcc-e9ff9caf265a47e747c12de69bcf5bd6db32843e.zip
gcc-e9ff9caf265a47e747c12de69bcf5bd6db32843e.tar.gz
gcc-e9ff9caf265a47e747c12de69bcf5bd6db32843e.tar.bz2
passes.c (execute_function_todo): Move TODO_verify_stmts and TODO_verify_ssa under the TODO_verify_il umbrella.
2014-04-30 Richard Biener <rguenther@suse.de> * passes.c (execute_function_todo): Move TODO_verify_stmts and TODO_verify_ssa under the TODO_verify_il umbrella. * tree-ssa.h (verify_ssa): Adjust prototype. * tree-ssa.c (verify_ssa): Add parameter to tell whether we should verify SSA operands. * tree-cfg.h (verify_gimple_in_cfg): Adjust prototype. * tree-cfg.c (verify_gimple_in_cfg): Add parameter to tell whether we should verify whether not throwing stmts have EH info. * graphite-scop-detection.c (create_sese_edges): Adjust. * tree-ssa-loop-manip.c (verify_loop_closed_ssa): Likewise. * tree-eh.c (lower_try_finally_switch): Do not add the default case label twice. From-SVN: r209928
Diffstat (limited to 'gcc/tree-eh.c')
-rw-r--r--gcc/tree-eh.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/tree-eh.c b/gcc/tree-eh.c
index 960c04a..7b65319 100644
--- a/gcc/tree-eh.c
+++ b/gcc/tree-eh.c
@@ -1550,6 +1550,8 @@ lower_try_finally_switch (struct leh_state *state, struct leh_tf_state *tf)
/* Make sure that the last case is the default label, as one is required.
Then sort the labels, which is also required in GIMPLE. */
CASE_LOW (last_case) = NULL;
+ tree tem = case_label_vec.pop ();
+ gcc_assert (tem == last_case);
sort_case_labels (case_label_vec);
/* Build the switch statement, setting last_case to be the default