| Title | tagtest fails on lii6gc |
| Status | closed |
| Priority | optional |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | On Ubuntu 18.04: $ make -f lii6gc.gmk VARIETY=cool tagtest && ../tool/testrun.sh lii6gc/cool tagtest lii6gc/cool/tagtest: randomize(): choosing initial state (v3): 455260704. tags: cons = 1, fwd = 0, imm = 4, invalid = 7 test(CONS) arena: RESOURCE: unable to obtain resources Aborted (core dumped) |
| Analysis | The problem is that tagtest calls mps_arena_create but passes arguments as if for mps_arena_create_k: die(mps_arena_create(&arena, mps_arena_class_vm(), mps_args_none), "arena"); This causes VMArenaVarargs to read mps_args_none (a pointer to a global array) as if it is the requested arena size. |
| How found | automated_test |
| Evidence | None as yet. |
| Created by | Gareth Rees |
| Created on | 2019-06-04 15:38:53 |
| Last modified by | Gareth Rees |
| Last modified on | 2019-06-04 15:40:38 |
| History | 2019-06-04 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 196181 | closed | 2019-06-04 15:40:38 | Gareth Rees | Call mps_arena_create_k, not mps_arena_create. |