diff options
| author | aoliva <aoliva@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-30 23:47:35 +0000 |
|---|---|---|
| committer | aoliva <aoliva@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-30 23:47:35 +0000 |
| commit | 9adb58d73f8055f55f247bccd7b2f97dd13d6746 (patch) | |
| tree | 2cf3bf61ec807a72cafd507a6f1f6f49285fc57e /gcc/valtrack.c | |
| parent | 2e444733dc5087478a59b86cbeaa5277ccb03065 (diff) | |
| download | gcc-9adb58d73f8055f55f247bccd7b2f97dd13d6746.tar.gz | |
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
Diffstat (limited to 'gcc/valtrack.c')
| -rw-r--r-- | gcc/valtrack.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/valtrack.c b/gcc/valtrack.c index c1de41c74e7..5eefabd2aed 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); |