| Title | MVInit can fail without destroying its block pool |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | MVInit [2] creates two sub-pools, one for blocks and the other for spans. If the creation of the span pool fails, then MVInit returns immediately, without destrioying the block pool. |
| Analysis | Inspection of MFSInit shows that this can't fail. But this isn't something we should be depending on. |
| How found | automated_test |
| Evidence | [1] http://www.ravenbrook.com/project/mps/master/code/poolmv.c |
| Created by | Gareth Rees |
| Created on | 2015-06-15 17:31:49 |
| Last modified by | Gareth Rees |
| Last modified on | 2015-06-15 18:11:32 |
| History | 2015-06-15 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 187940 | closed | 2015-06-15 18:11:32 | Gareth Rees | If MVInit fails, ensure that its block pool is finished. |