| Title | Assertion failure in MRGDescribe |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | Try 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 shield.c 303 |
| Analysis | The assertion is AVER_CRITICAL(arena->insideShield); 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 found | manual_test |
| Evidence | None as yet. |
| Observed in | 1.111.0 |
| Created by | Gareth Rees |
| Created on | 2013-05-21 21:08:47 |
| Last modified by | Gareth Rees |
| Last modified on | 2013-05-21 22:32:45 |
| History | 2013-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. |