aboutsummaryrefslogtreecommitdiff
path: root/gcc/cfgrtl.c
diff options
context:
space:
mode:
authorRichard Henderson <rth@gcc.gnu.org>2002-01-10 18:44:48 -0800
committerRichard Henderson <rth@gcc.gnu.org>2002-01-10 18:44:48 -0800
commitcda94cbba16f7754f7ce2e74a74af71f83722ff2 (patch)
treef7c9728bcc565ebdd46024fca3365fe55340efa5 /gcc/cfgrtl.c
parentdf2c9a4453dca26d8a5980326657c06634b2ce21 (diff)
downloadgcc-cda94cbba16f7754f7ce2e74a74af71f83722ff2.zip
gcc-cda94cbba16f7754f7ce2e74a74af71f83722ff2.tar.gz
gcc-cda94cbba16f7754f7ce2e74a74af71f83722ff2.tar.bz2
cfgrtl.c (delete_insn): Assert insn hasn't been deleted yet.
* cfgrtl.c (delete_insn): Assert insn hasn't been deleted yet. * reload1.c (delete_output_reload): Zap spill_reg_store. Take care not to delete instructions twice. From-SVN: r48760
Diffstat (limited to 'gcc/cfgrtl.c')
-rw-r--r--gcc/cfgrtl.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c
index a4f25f8..f318798 100644
--- a/gcc/cfgrtl.c
+++ b/gcc/cfgrtl.c
@@ -135,6 +135,9 @@ delete_insn (insn)
if (really_delete)
{
+ /* If this insn has already been deleted, something is very wrong. */
+ if (INSN_DELETED_P (insn))
+ abort ();
remove_insn (insn);
INSN_DELETED_P (insn) = 1;
}