MPS issue job003889

TitleNo error if you destroy a format that's still in use by a pool
Assigned userGareth Rees
DescriptionThe 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.
AnalysisThe format could have a poolRing of pools using the format and then assert that the ring is single when it is destoyed.
How foundautomated_test
Test procedureconerr/12.c
Created byGareth Rees
Created on2014-10-13 19:46:09
Last modified byGareth Rees
Last modified on2014-10-20 17:04:05
History2014-10-13 GDR Created.


Change Effect Date User Description
187253 closed 2014-10-13 22:44:20 Gareth Rees Attach the pools using a format to a ring in the format, so that when we destroy the format, we can check that no pools are using it.