Function cross_module_la_works

tests/integration/platform_stdlib.rs:711–761

()

    }

    bad := Arena_alloc(&a, 8, 3)
    match bad {
        Ok(value) -> { return 7 }
        Err(error) -> {
            match error {
                InvalidAlignment -> {}
                OutOfMemory -> { return 8 }
                SizeOverflow -> { return 9 }
            }
        }
    }

    ; Reset keeps the chunks: the next allocation reuses their storage.
    Arena_reset(&a)
    reused: u8* = null
    reused_result := Arena_alloc(&a, 24, 8)
    match reused_result {
        Ok(value) -> { reused = value }
        Err(error) -> { return 10 }
    }
    if reused == null { return 11 }

    Arena_deinit(&a)
    if a.head != null { return 12 }
    return 0
}
"#,
    );
    assert_eq!(exit, Some(0));
}

#[test]
fn hosted_pool_allocates_releases_and_rejects_invalid() {
    let (_, exit) = run_hll(
        r#"
memory_allocator := import("memory_allocator")

main: () -> i32 {
    p: Pool<i64> = { .chunks = null }
    Pool_init<i64>(&p)

    a: i64* = null
    a_result := Pool_alloc<i64>(&p)
    match a_result {
        Ok(value) -> { a = value }
        Err(error) -> { return 1 }
    }
    b: i64* = null
    b_result := Pool_alloc<i64>(&p)
    match b_result {
        Ok(value) -> { b = value }
        Err(error) -> { return 2 }
    }
    if a == b { return 3 }