| Title | rootCreate doesn't check its mode argument |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | Six MMQA argerr tests (107, 108, 109, 122, 123, 124) failed in the hot variety [1]. |
| Analysis | rootCreate takes a mode argument but does not AVERT(RootMode, mode). Note that this won't make the tests pass because RootMode is not a structure type and so has no signature and so AVERT(RootMode, mode) does nothing in the hot variety. But it is worth doing anyway, to get better assertions in the cool variety. |
| How found | automated_test |
| Evidence | [1] <https://info.ravenbrook.com/mail/2016/03/07/10-34-43/0/> |
| Created by | Gareth Rees |
| Created on | 2016-03-07 13:39:14 |
| Last modified by | Gareth Rees |
| Last modified on | 2016-03-07 15:26:57 |
| History | 2016-03-07 GDR Created. |