diff options
Diffstat (limited to 'gcc/local-alloc.c')
| -rw-r--r-- | gcc/local-alloc.c | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/gcc/local-alloc.c b/gcc/local-alloc.c index a01b99a..9457074 100644 --- a/gcc/local-alloc.c +++ b/gcc/local-alloc.c @@ -1028,9 +1028,9 @@ 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 != NULL_RTX); + gcc_assert (XEXP (reg_equiv[regno].init_insns, 1) + == NULL_RTX); equiv_insn = XEXP (reg_equiv[regno].init_insns, 0); /* We may not move instructions that can throw, since @@ -1188,8 +1188,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); @@ -2110,8 +2112,8 @@ 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); + gcc_assert (born_index < dead_index); /* Don't let a pseudo live in a reg across a function call if we might get a nonlocal goto. */ |