From ed4cbd932651bb2a2673e62aad4e5cc6492c6735 Mon Sep 17 00:00:00 2001
From: Matthew Pickering <matthewtpickering@gmail.com>
Date: Thu, 6 Jun 2019 14:05:43 +0100
Subject: [PATCH] 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 <.
---
rts/ProfHeap.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/rts/ProfHeap.c b/rts/ProfHeap.c
index 155e4d55a524..6a2c23d1e1bb 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);
--
GitLab