MPS issue job004161

Titletagtest fails on lii6gc
Assigned userGareth Rees
DescriptionOn Ubuntu 18.04:

    $ make -f lii6gc.gmk VARIETY=cool tagtest && ../tool/ lii6gc/cool tagtest
    lii6gc/cool/tagtest: randomize(): choosing initial state (v3): 455260704.
    tags: cons = 1, fwd = 0, imm = 4, invalid = 7

    arena: RESOURCE: unable to obtain resources

    Aborted (core dumped)
AnalysisThe 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 foundautomated_test
EvidenceNone as yet.
Created byGareth Rees
Created on2019-06-04 15:38:53
Last modified byGareth Rees
Last modified on2019-06-04 15:40:38
History2019-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.