MPS issue job001682

TitleAMCWalk does not honour its contract
Statusclosed
Prioritynice
Assigned userRichard Brooksby
OrganizationRavenbrook
DescriptionAMCWalk does not honour its contract

This function is supposed to iterate over all black objects in an AMC
pool. It doesn't do that when a segment is nailed.

Also, perhaps the documentation for mps_arena_formatted_objects_walk
should mention the intended behaviour when invoked in the middle of a
collection.
AnalysisIt should be made to work for nailed segments. Or documented as
recommended to be used only when the arena is parked.
How foundunknown
Evidencenone
Observed in1.108.0
Created byDavid Jones
Created on2007-07-12 15:39:37
Last modified byGareth Rees
Last modified on2014-04-10 12:37:48
History2007-07-12 DRJ Created.
2013-03-19 GDR Assigned to RB.

Fixes

Change Effect Date User Description
185424 closed 2014-04-10 12:37:48 Gareth Rees Document that the arena must be parked in order for mps_arena_formatted_objects_walk to visit all objects.