diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2019-06-06 14:05:43 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-06-27 10:42:29 -0400 |
| commit | ed4cbd932651bb2a2673e62aad4e5cc6492c6735 (patch) | |
| tree | 02b9b0f7202c2227c1348bd28a764d6773c2f4ac | |
| parent | a586b33f8e8ad60b5c5ef3501c89e9b71794bbed (diff) | |
| download | haskell-ed4cbd932651bb2a2673e62aad4e5cc6492c6735.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 <.
| -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 155e4d55a5..6a2c23d1e1 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); |