MPS issue job003866

Titlemps_arena_has_addr fails for address in unsegmented pool classes
Assigned userGareth Rees
Descriptionmps_arena_has_addr returns false for address in pool classes that don't use segments (MFS, MV, MVFF).
AnalysisArenaHasAddr 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 foundinspection
Test procedureapss
Created byGareth Rees
Created on2014-09-30 22:29:09
Last modified byGareth Rees
Last modified on2014-10-20 17:24:54
History2014-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).