MPS issue job004070

TitleLO and AWL pools fail to detect invalid exact references
Assigned userGareth Rees
DescriptionThe LO and AWL mark-and-sweep pool classes accept exact fixes for references that are invalid in various ways (unaligned, out of bounds, not pointing at any object). But an exact fix for an invalid reference indicates an error in the client program, and the earlier we detect these errors the better.
AnalysisThe unhandled cases are:

1. Address out of bounds after in-band header subtraction.
2. Address unaligned.
3. No object at the references address.

These cases all correctly result in an assertion failure (in checking varieties) in AMS.
How foundinspection
Created byGareth Rees
Created on2018-06-18 09:11:44
Last modified byGareth Rees
Last modified on2018-06-28 16:26:15
History2018-06-18 GDR Created.


Change Effect Date User Description
194284 closed 2018-06-28 16:15:53 Gareth Rees Merge branch/2018-06-18/job004070.