diff options
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-11-12 09:57:20 +0000 |
|---|---|---|
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-11-12 09:57:20 +0000 |
| commit | 137b701d08fefdf0a2f4465e80ce3500d32b2e08 (patch) | |
| tree | 93a47514cff53cd5b66aca08d9dc07f1abbf93be /gcc/emit-rtl.c | |
| parent | aedd13015c19fc84ebd0bcef99846683a4cefe8a (diff) | |
| download | gcc-137b701d08fefdf0a2f4465e80ce3500d32b2e08.tar.gz | |
PR debug/46375
* emit-rtl.c (remove_insn): Do not mark BBs upon debug insns.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@166646 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/emit-rtl.c')
| -rw-r--r-- | gcc/emit-rtl.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/emit-rtl.c b/gcc/emit-rtl.c index 60fe39b1ebf..2db0cffa8d0 100644 --- a/gcc/emit-rtl.c +++ b/gcc/emit-rtl.c @@ -3867,7 +3867,7 @@ remove_insn (rtx insn) if (!BARRIER_P (insn) && (bb = BLOCK_FOR_INSN (insn))) { - if (INSN_P (insn)) + if (NONDEBUG_INSN_P (insn)) df_set_bb_dirty (bb); if (BB_HEAD (bb) == insn) { |