diff options
Diffstat (limited to 'gcc/cfgbuild.c')
| -rw-r--r-- | gcc/cfgbuild.c | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/gcc/cfgbuild.c b/gcc/cfgbuild.c index 6c4a67ac572..2f59d7e982c 100644 --- a/gcc/cfgbuild.c +++ b/gcc/cfgbuild.c @@ -83,7 +83,7 @@ inside_basic_block_p (rtx insn) return false; default: - abort (); + gcc_unreachable (); } } @@ -131,7 +131,7 @@ control_flow_insn_p (rtx insn) return false; default: - abort (); + gcc_unreachable (); } } @@ -183,8 +183,7 @@ count_basic_blocks (rtx f) static void make_label_edge (sbitmap *edge_cache, basic_block src, rtx label, int flags) { - if (!LABEL_P (label)) - abort (); + gcc_assert (LABEL_P (label)); /* If the label was never emitted, this insn is junk, but avoid a crash trying to refer to BLOCK_FOR_INSN (label). This can happen @@ -345,8 +344,7 @@ make_edges (basic_block min, basic_block max, int update_p) /* Otherwise, we have a plain conditional or unconditional jump. */ else { - if (! JUMP_LABEL (insn)) - abort (); + gcc_assert (JUMP_LABEL (insn)); make_label_edge (edge_cache, bb, JUMP_LABEL (insn), 0); } } @@ -490,7 +488,7 @@ find_basic_blocks_1 (rtx f) break; default: - abort (); + gcc_unreachable (); } } @@ -499,8 +497,7 @@ find_basic_blocks_1 (rtx f) else if (bb_note) delete_insn (bb_note); - if (last_basic_block != n_basic_blocks) - abort (); + gcc_assert (last_basic_block == n_basic_blocks); clear_aux_for_blocks (); } |