MPS issue job003742

TitleRoot modes not in sync
Assigned userGareth Rees
DescriptionThe comment in mps.h [1] says:

    /* .rm: Keep in sync with <code/mpmtypes.h#rm> */

but there are two modes in mps.h (CONST and PROT) and three modes in mpmtypes.h (CONSTANT, PROTECTABLE, PROTECTABLE_INNER).

Previously discovered by RIT [3].
AnalysisAdd PROT_INNER to mps.h? Or remove PROTECTABLE_INNER from mpmtypes.h?
A comment in RootModeCheck [2] says "RootModePROTECTABLE_INNER implies RootModePROTECTABLE" but that seem wrong because RootModePROTECTABLE adds behavior to RootModePROTECTABLE_INNER, not vice versa.
How foundinspection
Evidence[1] <>
[2] <>
[3] <>
Created byGareth Rees
Created on2014-04-06 18:29:59
Last modified byGareth Rees
Last modified on2014-10-14 22:59:32
History2014-04-06 GDR Created.


Change Effect Date User Description
187271 closed 2014-10-14 22:59:32 Gareth Rees Add constant MPS_RM_PROT_INNER and document it.