| Title | Can't handle access violation if arena is locked |
| Status | closed |
| Priority | essential |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | MMQA test argerr/17.c failed on Windows. This test case passes the bogus value 1 as the format argument to mps_pool_create. This correctly causes an access violation in ArgCheckFormat. The exception is caught by the vectored exception handler and this calls ArenaAccess. But the arena was locked when mps_pool_create was called, and so ArenaEnterLock asserts. |
| Analysis | This is as designed: see design.arena.lock.avoid.mps. |
| How found | automated_test |
| Evidence | None as yet |
| Created by | Gareth Rees |
| Created on | 2016-04-22 13:35:11 |
| Last modified by | Gareth Rees |
| Last modified on | 2016-05-03 10:31:09 |
| History | 2016-04-22 GDR Created. |