Wrong definition of MPS_PROT_INNER

[gerd-moellmann]

I'm creating a root

mps_root_t root;
mps_res_t res = mps_root_create_area (&root, arena, mps_rank_exact (),
  MPS_RM_PROT + MPS_RM_PROT_INNER, 
  start, end, scan_staticvec, NULL);

and get an assertion failure

root.c:89: MPS ASSERTION FAILED: (mode & RootModePROTECTABLE_INNER) == 0 || (mode & RootModePROTECTABLE)

Looking at the sources, I see that mpmtypes.h has

#define RootModePROTECTABLE_INNER ((RootMode)1<<2)

while mps.h has

#define MPS_RM_PROT       (((mps_rm_t)1<<1))
#define MPS_RM_PROT_INNER (((mps_rm_t)1<<1))

MPS_RM_PROT_INNER + MPS_RN_PROT is 4 which is, in the check, INNER without specifying PROT.

So I think the definition of MPS_PROT_INNER should have been 1 << 2.