| Title | No error if you destroy a format that's still in use by a pool |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | The documentation for mps_fmt_destroy [1] says, "It is an error to destroy an object format if there exists a pool using the format. The pool must be destroyed first." But the MPS doesn't assert when it happens, so the error may go undetected. |
| Analysis | The format could have a poolRing of pools using the format and then assert that the ring is single when it is destoyed. |
| How found | automated_test |
| Evidence | [1] http://www.ravenbrook.com/project/mps/...tml/topic/format.html#c.mps_fmt_destroy |
| Test procedure | conerr/12.c |
| Created by | Gareth Rees |
| Created on | 2014-10-13 19:46:09 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-10-20 17:04:05 |
| History | 2014-10-13 GDR Created. |