| Title | Assertion in mps_arena_formatted_objects_walk if you have an AMS pool |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | If you have allocated objects from an AMS pool and call mps_arena_formatted_objects_walk() then you get an assertion failure:
poolabs.c:676: MPS ASSERTION FAILED: unreachable code |
| Analysis | The assertion is from the NOTREACHED in PoolNoWalk. The cause is that AMS sets AttrFMT but provides no walk method. |
| How found | inspection |
| Evidence | None |
| Created by | Gareth Rees |
| Created on | 2014-04-04 16:42:36 |
| Last modified by | Gareth Rees |
| Last modified on | 2016-04-21 14:11:44 |
| History | 2014-04-04 GDR Created. |