MPS issue job003738

TitleAssertion in mps_arena_formatted_objects_walk if you have an AMS pool
Statusclosed
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionIf you have allocated objects from an AMS pool and call mps_arena_formatted_objects_walk() then you get an assertion failure:

    poolabs.c:676: MPS ASSERTION FAILED: unreachable code
AnalysisThe assertion is from the NOTREACHED in PoolNoWalk. The cause is that AMS sets AttrFMT but provides no walk method.
How foundinspection
EvidenceNone
Created byGareth Rees
Created on2014-04-04 16:42:36
Last modified byGareth Rees
Last modified on2016-04-21 14:11:44
History2014-04-04 GDR Created.

Fixes

Change Effect Date User Description
191463 closed 2016-04-21 14:11:44 Gareth Rees Implement AMSWalk.