MPS issue job003490

TitleAssertion failure in MRGDescribe
Assigned userGareth Rees
DescriptionTry describing an MRG pool:

    (gdb) p PoolDescribe(arena->finalPool, mps_lib_get_stderr())
    Pool 0000000101FFDCA8 (5) {
      class 00000001002C7410 ("MRG")
      arena 00000001003B9000 (0)
      alignment 0000000000000008
      fillMutatorSize 0Kb
      emptyMutatorSize 0Kb
      fillInternalSize 0Kb
      emptyInternalSize 0Kb
      extendBy 0000000000001000
      Entry queue:

    MPS ASSERTION FAILURE: arena->insideShield
AnalysisThe assertion is


and a backtrace shows:

    #3 0x0000000100075e87 in ShieldExpose (arena=0x1003b9000, seg=0x101fc2c50) at shield.c:303
    #4 0x0000000100074275 in ArenaPeekSeg (arena=0x1003b9000, seg=0x101fc2c50, p=0x101f2afe0) at global.c:895
    #5 0x000000010002fec8 in ArenaPeek (arena=0x1003b9000, p=0x101f2afe0) at global.c:878
    #6 0x00000001000e50e4 in MRGRefPartRef (arena=0x1003b9000, refPart=0x101f2afe0) at poolmrg.c:90
    #7 0x0000000100174ecd in MRGDescribe (pool=0x101ffdca8, stream=0x7fff72c1bbc0) at poolmrg.c:818
    #8 0x000000010006087d in PoolDescribe (pool=0x101ffdca8, stream=0x7fff72c1bbc0) at pool.c:539
How foundmanual_test
EvidenceNone as yet.
Observed in1.111.0
Created byGareth Rees
Created on2013-05-21 21:08:47
Last modified byGareth Rees
Last modified on2013-05-21 22:32:45
History2013-05-21 GDR Created.


Change Effect Date User Description
182059 closed 2013-05-21 22:32:45 Gareth Rees Ensure that MRGDescribe works whether the shield is exposed or covered.