MPS issue job004043

TitleAssertion failure in apss on xci3ll
Statusclosed
Priorityessential
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionTest case xci3ll/cool/apss fails with seed 1905024866:

./poolmv.c:750: MPS ASSERTION FAILED: size == mv->free + mv->lost
AnalysisLost spans are not accounted as free. This means that the assertion is wrong, and so is the result of the function. In fact we can just return mv->free + mv->lost.
How foundautomated_test
EvidenceNone
Created byGareth Rees
Created on2016-09-05 11:40:07
Last modified byGareth Rees
Last modified on2016-09-05 12:03:46
History2016-09-05 GDR Created.

Fixes

Change Effect Date User Description
192159 closed 2016-09-05 12:03:46 Gareth Rees Correct the logic in MVFreeSize -- lost spans are not accounted as free. Only sum the free space in the spans in checking varieties, otherwise just return the cached sum.