diff options
Diffstat (limited to 'gcc/gimple-low.c')
| -rw-r--r-- | gcc/gimple-low.c | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/gcc/gimple-low.c b/gcc/gimple-low.c index 5544a18468d..c6f6f7611e2 100644 --- a/gcc/gimple-low.c +++ b/gcc/gimple-low.c @@ -69,8 +69,7 @@ lower_function_body (void) tree_stmt_iterator i; tree t, x; - if (TREE_CODE (bind) != BIND_EXPR) - abort (); + gcc_assert (TREE_CODE (bind) == BIND_EXPR); data.block = DECL_INITIAL (current_function_decl); BLOCK_SUBBLOCKS (data.block) = NULL_TREE; @@ -117,8 +116,7 @@ lower_function_body (void) tsi_link_after (&i, x, TSI_CONTINUE_LINKING); } - if (data.block != DECL_INITIAL (current_function_decl)) - abort (); + gcc_assert (data.block == DECL_INITIAL (current_function_decl)); BLOCK_SUBBLOCKS (data.block) = blocks_nreverse (BLOCK_SUBBLOCKS (data.block)); @@ -200,9 +198,12 @@ lower_stmt (tree_stmt_iterator *tsi, struct lower_data *data) break; default: +#ifdef ENABLE_CHECKING print_node_brief (stderr, "", stmt, 0); + internal_error ("unexpected node"); +#endif case COMPOUND_EXPR: - abort (); + gcc_unreachable (); } tsi_next (tsi); @@ -224,15 +225,13 @@ lower_bind_expr (tree_stmt_iterator *tsi, struct lower_data *data) /* The outermost block of the original function may not be the outermost statement chain of the gimplified function. So we may see the outermost block just inside the function. */ - if (new_block != DECL_INITIAL (current_function_decl)) - abort (); + gcc_assert (new_block == DECL_INITIAL (current_function_decl)); new_block = NULL; } else { /* We do not expect to handle duplicate blocks. */ - if (TREE_ASM_WRITTEN (new_block)) - abort (); + gcc_assert (!TREE_ASM_WRITTEN (new_block)); TREE_ASM_WRITTEN (new_block) = 1; /* Block tree may get clobbered by inlining. Normally this would @@ -252,8 +251,7 @@ lower_bind_expr (tree_stmt_iterator *tsi, struct lower_data *data) if (new_block) { - if (data->block != new_block) - abort (); + gcc_assert (data->block == new_block); BLOCK_SUBBLOCKS (new_block) = blocks_nreverse (BLOCK_SUBBLOCKS (new_block)); |