| Title | AMSSegMerge loses buffer on high segment |
| Status | open |
| Priority | optional |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | According 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. |
| Analysis | Move the buffer to segLo. |
| How found | inspection |
| Evidence | None as yet. |
| Created by | Gareth Rees |
| Created on | 2016-04-19 12:31:29 |
| Last modified by | Gareth Rees |
| Last modified on | 2016-04-19 12:31:29 |
| History | 2016-04-19 GDR Created. |