MPS issue job004028

Titlefotest fails with DEEP checking
Assigned userGareth Rees

    make -f xci6ll.gmk VARIETY=cool CFLAGS=-DCHECKLEVEL=CheckLevelDEEP fotest && xci6ll/cool/fotest

fails with the following assertion:

    poolmfs.c:368: MPS ASSERTION FAILED: ClassCheck MFSPool: mfs
AnalysisThe test case has monkey-patched the class pointer in this MFS instance, and the assertion is correctly pointing this out.

The test case needs to use a different mechanism to provoke memory allocation failures in MFS.
How foundautomated_test
EvidenceNone as yet.
Created byGareth Rees
Created on2016-05-02 12:09:10
Last modified byGareth Rees
Last modified on2016-05-02 13:49:43
History2016-05-02 GDR Created.


Change Effect Date User Description
191779 closed 2016-05-02 13:49:43 Gareth Rees Patch the MFS pool's alloc method instead of rewriting its class -- the latter violates the class invariants and so asserts when deep checking is turned on.