summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2019-06-06 14:05:43 +0100
committerBen Gamari <ben@smart-cactus.org>2019-08-21 06:36:04 -0400
commitb802a7b2bf7b0fc22acaf2cfa28157e038292aca (patch)
tree187749437f1c607b819dd3c80882077f2763e2f5
parent11498aeba0fc5f553ca3c058b693c1173ff8f448 (diff)
downloadhaskell-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.c2
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);