MPS issue job000549

TitleBlackening an AMS segment can break
Statusopen
Priorityoptional
Assigned userNick Barnes
OrganizationRavenbrook
DescriptionBlackening an AMS segment can break, if amsIterate can't be used (if allocTable is shared with nonwhiteTable). See analysis.non-moving-colour.interior.determine.white-free-bit [2].
AnalysisReported by Pekka in [1].
How foundinspection
Evidence[1] <http://info.ravenbrook.com/mail/2002/06/20/16-31-46/0.txt>
[2] <https://info.ravenbrook.com/project/mp...minfo/mminfo/analysis/non-moving-colour>
[3] <https://info.ravenbrook.com/mail/2014/05/01/13-03-54/0/>
Observed in1.100.1
Introduced in1.100.1
Created byNick Barnes
Created on2002-06-21 17:03:44
Last modified byGareth Rees
Last modified on2014-06-19 22:39:35
History2002-06-21 NB Created.