PR debug/54551

PR debug/54693
* valtrack.c (dead_debug_promote_uses): Assert-check that
global used bit was clear and initialize entry
unconditionally.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193003 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 12b1504232a42a1a74324a187fe299f0c65caf83..4896022a1aa542dabcacbe336081c7d6e2334faf 100644 (file)
--- 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 c1de41c74e747c4aa58709fbf7323164754583af..5eefabd2aed104448a2ff2f346368b6aacfbee6f 100644 (file)
--- 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);