MPS issue job004008

TitleAMSSegMerge loses buffer on high segment
Statusopen
Priorityoptional
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionAccording to design.mps.seg.merge.inv.buffer, "One or other of segLo and segHi may be attached to a buffer, but not both". But in AMSSegMerge, if segHi has a buffer, then this buffer is not reattached to segLo, leaving a dangling pointer when segHi is freed.
AnalysisMove the buffer to segLo.
How foundinspection
EvidenceNone as yet.
Created byGareth Rees
Created on2016-04-19 12:31:29
Last modified byGareth Rees
Last modified on2016-04-19 12:31:29
History2016-04-19 GDR Created.