MPS issue job003946

TitleAssertions missing from the manual
Assigned userGareth Rees
DescriptionChristian Schafmeister reports [1] that he encountered these assertions from the MPS:

poolsnc.c:610: foundSeg
global.c:494: RingIsSingle(&arena->formatRing)
AnalysisSee [2] for my analysis.

The poolsnc.c assertion means that the “frame” argument to mps_ap_frame_pop couldn’t be found on the stack. This argument needs to be a value returned by a previous call to mps_ap_frame_push on the same allocation point.

The global.c assertion means that you called mps_arena_destroy without destroying all the formats in the arena. You need to call mps_fmt_destroy first.
How foundcustomer
Created byGareth Rees
Created on2015-09-12 20:43:43
Last modified byGareth Rees
Last modified on2015-09-12 20:59:10
History2015-09-12 GDR Created.


Change Effect Date User Description
188304 closed 2015-09-12 20:59:10 Gareth Rees Add more assertions.