diff options
author | Richard Henderson <rth@gcc.gnu.org> | 2002-01-10 18:44:48 -0800 |
---|---|---|
committer | Richard Henderson <rth@gcc.gnu.org> | 2002-01-10 18:44:48 -0800 |
commit | cda94cbba16f7754f7ce2e74a74af71f83722ff2 (patch) | |
tree | f7c9728bcc565ebdd46024fca3365fe55340efa5 /gcc/cfgrtl.c | |
parent | df2c9a4453dca26d8a5980326657c06634b2ce21 (diff) | |
download | gcc-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.c | 3 |
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; } |