| Title | fotest fails with DEEP checking |
| Status | closed |
| Priority | optional |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | Running: 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 |
| Analysis | The 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 found | automated_test |
| Evidence | None as yet. |
| Created by | Gareth Rees |
| Created on | 2016-05-02 12:09:10 |
| Last modified by | Gareth Rees |
| Last modified on | 2016-05-02 13:49:43 |
| History | 2016-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. |