diff options
Diffstat (limited to 'gcc/dce.c')
| -rw-r--r-- | gcc/dce.c | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/gcc/dce.c b/gcc/dce.c index 86edea11c55..8954d5c0c01 100644 --- a/gcc/dce.c +++ b/gcc/dce.c @@ -47,6 +47,9 @@ along with GCC; see the file COPYING3. If not see we don't want to reenter it. */ static bool df_in_progress = false; +/* True if we are allowed to alter the CFG in this pass. */ +static bool can_alter_cfg = false; + /* Instructions that have been marked but whose dependencies have not yet been processed. */ static VEC(rtx,heap) *worklist; @@ -113,8 +116,9 @@ deletable_insn_p (rtx insn, bool fast, bitmap arg_stores) if (!NONJUMP_INSN_P (insn)) return false; - /* Don't delete insns that can throw. */ - if (!insn_nothrow_p (insn)) + /* Don't delete insns that may throw if we cannot do so. */ + if (!(cfun->can_delete_dead_exceptions && can_alter_cfg) + && !insn_nothrow_p (insn)) return false; body = PATTERN (insn); @@ -711,7 +715,10 @@ init_dce (bool fast) { bitmap_obstack_initialize (&dce_blocks_bitmap_obstack); bitmap_obstack_initialize (&dce_tmp_bitmap_obstack); + can_alter_cfg = false; } + else + can_alter_cfg = true; marked = sbitmap_alloc (get_max_uid () + 1); sbitmap_zero (marked); |