MPS issue job004029

Titlempsicv fails with DEEP checking
Assigned userGareth Rees

    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
AnalysisThe 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 foundautomated_test
EvidenceNone as yet.
Created byGareth Rees
Created on2016-05-02 12:41:45
Last modified byGareth Rees
Last modified on2016-05-02 13:06:07
History2016-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>.