diff options
| author | Alexandre Oliva <aoliva@redhat.com> | 2012-10-30 23:47:35 +0000 |
|---|---|---|
| committer | Alexandre Oliva <aoliva@gcc.gnu.org> | 2012-10-30 23:47:35 +0000 |
| commit | f39b1a1aeb13c3a64cd6e82dcc6cd1370507c6ab (patch) | |
| tree | 2cf3bf61ec807a72cafd507a6f1f6f49285fc57e /gcc | |
| parent | 3e55d79be9ae74905c89ef4f948b26ba9e1c604c (diff) | |
| download | gcc-f39b1a1aeb13c3a64cd6e82dcc6cd1370507c6ab.zip gcc-f39b1a1aeb13c3a64cd6e82dcc6cd1370507c6ab.tar.gz gcc-f39b1a1aeb13c3a64cd6e82dcc6cd1370507c6ab.tar.bz2 | |
re PR debug/54551 (DF resets some DEBUG_INSNs unnecessarily)
PR debug/54551
PR debug/54693
* valtrack.c (dead_debug_promote_uses): Assert-check that
global used bit was clear and initialize entry
unconditionally.
From-SVN: r193003
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/valtrack.c | 8 |
2 files changed, 13 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 12b1504..4896022 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2012-10-30 Alexandre Oliva <aoliva@redhat.com> + + PR debug/54551 + PR debug/54693 + * valtrack.c (dead_debug_promote_uses): Assert-check that + global used bit was clear and initialize entry + unconditionally. + 2012-10-30 Eric Botcazou <ebotcazou@adacore.com> * cse.c (hash_rtx_cb): Replace RTX_UNCHANGING_P with MEM_READONLY_P in diff --git a/gcc/valtrack.c b/gcc/valtrack.c index c1de41c..5eefabd 100644 --- a/gcc/valtrack.c +++ b/gcc/valtrack.c @@ -380,9 +380,11 @@ dead_debug_promote_uses (struct dead_debug_local *debug) if (!debug->global->used) debug->global->used = BITMAP_ALLOC (NULL); - if (bitmap_set_bit (debug->global->used, REGNO (reg))) - entry = dead_debug_global_insert (debug->global, reg, - make_debug_expr_from_rtl (reg)); + bool added = bitmap_set_bit (debug->global->used, REGNO (reg)); + gcc_checking_assert (added); + + entry = dead_debug_global_insert (debug->global, reg, + make_debug_expr_from_rtl (reg)); gcc_checking_assert (entry->dtemp); |