rts: Correct assertion in LDV_recordDead
authorMatthew Pickering <matthewtpickering@gmail.com>
Thu, 6 Jun 2019 13:05:43 +0000 (14:05 +0100)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Thu, 27 Jun 2019 14:42:29 +0000 (10:42 -0400)
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

index 155e4d5..6a2c23d 100644 (file)
@@ -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);