In JIT mode GC does not mark local variables

[borisbat]

what title says.

def foo() {
var a <- new Foo()
gc_heap_collect() // does not see a, Foo gets deleteed
}

we need some means to address this, or at least verify. I think verify is the right verb. In jit mode gc_heap_collect in this function should not compile.

[aleksisch]

repro

options gc
options persistent_heap

struct Foo { a : int }

[export]
def main {
    var a <- new Foo(a = 1)
    unsafe { heap_collect(true, false) }   // JIT: GC can't see `a`, frees it
    unsafe { delete a }                    // double-free -> abort
}