diff options
Diffstat (limited to 'gcc/local-alloc.c')
-rw-r--r-- | gcc/local-alloc.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/gcc/local-alloc.c b/gcc/local-alloc.c index 10117da..3969a86 100644 --- a/gcc/local-alloc.c +++ b/gcc/local-alloc.c @@ -1032,9 +1032,8 @@ update_equiv_regs (void) once and used once. (If it were only set, but not used, flow would have deleted the setting insns.) Hence there can only be one insn in reg_equiv[REGNO].init_insns. */ - if (reg_equiv[regno].init_insns == NULL_RTX - || XEXP (reg_equiv[regno].init_insns, 1) != NULL_RTX) - abort (); + gcc_assert (reg_equiv[regno].init_insns + && !XEXP (reg_equiv[regno].init_insns, 1)); equiv_insn = XEXP (reg_equiv[regno].init_insns, 0); /* We may not move instructions that can throw, since @@ -1196,8 +1195,10 @@ block_alloc (int b) while (1) { if (!NOTE_P (insn)) - if (++insn_count > max_uid) - abort (); + { + ++insn_count; + gcc_assert (insn_count <= max_uid); + } if (insn == BB_HEAD (BASIC_BLOCK (b))) break; insn = PREV_INSN (insn); @@ -2117,8 +2118,7 @@ find_free_reg (enum reg_class class, enum machine_mode mode, int qtyno, #endif /* Validate our parameters. */ - if (born_index < 0 || born_index > dead_index) - abort (); + gcc_assert (born_index >= 0 && born_index <= dead_index); /* Don't let a pseudo live in a reg across a function call if we might get a nonlocal goto. */ |