From: aoliva Date: Tue, 30 Oct 2012 23:47:35 +0000 (+0000) Subject: PR debug/54551 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=9adb58d73f8055f55f247bccd7b2f97dd13d6746;p=thirdparty%2Fgcc.git 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 12b1504232a4..4896022a1aa5 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2012-10-30 Alexandre Oliva + + 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 * 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);