| Title | Assertions missing from the manual |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | Christian Schafmeister reports [1] that he encountered these assertions from the MPS: poolsnc.c:610: foundSeg global.c:494: RingIsSingle(&arena->formatRing) |
| Analysis | See [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 found | customer |
| Evidence | [1] https://info.ravenbrook.com/mail/2015/09/12/18-32-04/0/[2] https://info.ravenbrook.com/mail/2015/09/12/19-40-43/0/ |
| Created by | Gareth Rees |
| Created on | 2015-09-12 20:43:43 |
| Last modified by | Gareth Rees |
| Last modified on | 2015-09-12 20:59:10 |
| History | 2015-09-12 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 188304 | closed | 2015-09-12 20:59:10 | Gareth Rees | Add more assertions. |