| Title | mpsicv fails with DEEP checking |
| Status | closed |
| Priority | essential |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | Running make -f xci6ll.gmk VARIETY=cool CFLAGS=-DCHECKLEVEL=CheckLevelDEEP mpsicv && xci6ll/cool/mpsicv 1534805825 fails with the assertion: global.c:190: MPS ASSERTION FAILED: !arena->emergency || arena->busyTraces != TraceSetEMPTY |
| Analysis | The backtrace shows: frame #7: GlobalsCheck at global.c:190 frame #8: ArenaCheck at arena.c:159 frame #9: ArenaSetEmergency at global.c:1049 frame #10: TraceDestroyFinished at trace.c:854 So the invariant has only just been violated and is just about to be restored. |
| How found | automated_test |
| Evidence | None as yet. |
| Created by | Gareth Rees |
| Created on | 2016-05-02 12:41:45 |
| Last modified by | Gareth Rees |
| Last modified on | 2016-05-02 13:06:07 |
| History | 2016-05-02 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 191774 | closed | 2016-05-02 13:06:07 | Gareth Rees | Clear the emergency before removing the trace from busyTraces, to avoid violating <code/global.c#emergency.invariant>. |