From: Alexandre Oliva <aoliva@redhat.com>
Date: Tue, 30 Oct 2012 23:47:35 +0000 (+0000)
Subject: re PR debug/54551 (DF resets some DEBUG_INSNs unnecessarily)
X-Git-Tag: releases/gcc-4.8.0~2400
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=f39b1a1aeb13c3a64cd6e82dcc6cd1370507c6ab;p=thirdparty%2Fgcc.git

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
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 12b1504232a4..4896022a1aa5 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 c1de41c74e74..5eefabd2aed1 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);