| Title | AMCWalk does not honour its contract |
| Status | closed |
| Priority | nice |
| Assigned user | Richard Brooksby |
| Organization | Ravenbrook |
| Description | AMCWalk 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. |
| Analysis | It should be made to work for nailed segments. Or documented as recommended to be used only when the arena is parked. |
| How found | unknown |
| Evidence | none |
| Observed in | 1.108.0 |
| Created by | David Jones |
| Created on | 2007-07-12 15:39:37 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-04-10 12:37:48 |
| History | 2007-07-12 DRJ Created. 2013-03-19 GDR Assigned to RB. |
| 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. |