diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2019-06-06 14:05:43 +0100 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-08-21 06:36:04 -0400 |
commit | b802a7b2bf7b0fc22acaf2cfa28157e038292aca (patch) | |
tree | 187749437f1c607b819dd3c80882077f2763e2f5 | |
parent | 11498aeba0fc5f553ca3c058b693c1173ff8f448 (diff) | |
download | haskell-b802a7b2bf7b0fc22acaf2cfa28157e038292aca.tar.gz |
rts: Correct assertion in LDV_recordDead
It is possible that void_total is exactly equal to not_used and the
other assertions for this check for <= rather than <.
(cherry picked from commit a196d9c391aa488d58fb3d787637c6c0402958cb)
-rw-r--r-- | rts/ProfHeap.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/ProfHeap.c b/rts/ProfHeap.c index 8d4fe3fd3c..aa0e82b5b8 100644 --- a/rts/ProfHeap.c +++ b/rts/ProfHeap.c @@ -197,7 +197,7 @@ LDV_recordDead( const StgClosure *c, uint32_t size ) if (RtsFlags.ProfFlags.bioSelector == NULL) { censuses[t].void_total += size; censuses[era].void_total -= size; - ASSERT(censuses[t].void_total < censuses[t].not_used); + ASSERT(censuses[t].void_total <= censuses[t].not_used); } else { id = closureIdentity(c); ctr = lookupHashTable(censuses[t].hash, (StgWord)id); |