| Title | mps_arena_has_addr fails for address in unsegmented pool classes |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | mps_arena_has_addr returns false for address in pool classes that don't use segments (MFS, MV, MVFF). |
| Analysis | ArenaHasAddr calls SegOfAddr, but some pool classes don't have segments. Need to call TractOfAddr for a reliable result. Compare with PoolOfAddr, which gets it right. (There is a similar problem with ArenaAddrObject, which suggests that it is worth checking all uses of SegOfAddr -- at some point in the past it may have been the case that all client objects lived on segments, and code may have assumed that.) |
| How found | inspection |
| Evidence | None |
| Test procedure | apss |
| Created by | Gareth Rees |
| Created on | 2014-09-30 22:29:09 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-10-20 17:24:54 |
| History | 2014-09-30 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 187108 | closed | 2014-10-02 09:13:21 | Gareth Rees | Make ArenaHasAddr work for all pools (not just for pools with segments). |