mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-10-04 17:41:42 +08:00
Chris Tate
94fd361b54
Represent ordinary JavaScript arrays with hole, value, and explicit-undefined states; add sparse side storage and carry missing values through the frontend, native backends, runtime, and Node-facing consumers.
57 lines
2.2 KiB
TypeScript
57 lines
2.2 KiB
TypeScript
import { execFile } from "node:child_process";
|
|
import { mkdir } from "node:fs/promises";
|
|
import { join } from "node:path";
|
|
import { promisify } from "node:util";
|
|
import { beforeAll, expect, test } from "vitest";
|
|
|
|
const execFileAsync = promisify(execFile);
|
|
const testDir = import.meta.dirname;
|
|
const bin = join(testDir, "build", "test_array");
|
|
|
|
// Compiled once with ASan + the RC audit: the assertions in test_array.c
|
|
// include recursive-release checks (array of strings, array of arrays), and
|
|
// the sanitized run proves no leak/double-free across all of them.
|
|
beforeAll(async () => {
|
|
await mkdir(join(testDir, "build"), { recursive: true });
|
|
await execFileAsync("clang", [
|
|
"-std=c11", "-O1", "-Wall", "-Wextra",
|
|
"-fsanitize=address", "-DSCR_RC_AUDIT",
|
|
"-o", bin,
|
|
join(testDir, "test_array.c"),
|
|
join(testDir, "../src/scr_array.c"),
|
|
join(testDir, "../src/scr_string.c"),
|
|
join(testDir, "../src/scr_number.c"),
|
|
join(testDir, "../src/scr_bytes.c"),
|
|
join(testDir, "../src/scr_error.c"),
|
|
join(testDir, "../src/scr_exception.c"),
|
|
join(testDir, "../src/scr_object.c"),
|
|
join(testDir, "../src/scr_cycle.c"),
|
|
join(testDir, "../src/scr_copying.c"),
|
|
...(process.platform === "linux" ? ["-D_GNU_SOURCE", "-lm"] : []),
|
|
]);
|
|
});
|
|
|
|
test("array runtime: push/pop/set/get, RC recursion, growth", async () => {
|
|
const { stderr } = await execFileAsync(bin, []);
|
|
expect(stderr.trim()).toMatch(/^(\d+)\/\1 cases passed$/);
|
|
});
|
|
|
|
// Proven-presence getters still trap on a hole; the shared scr_arr_has query
|
|
// lets higher-level lowering return undefined without reading uninitialized
|
|
// scalar storage.
|
|
test.each([
|
|
["--crash-get-oob", "array index 1 out of bounds (length 1)"],
|
|
["--crash-get-frac", "numeric property 0.5 is absent"],
|
|
["--crash-hole-read", "array index 1 is a hole (length 3)"],
|
|
["--crash-pop-empty", "pop() returned undefined"],
|
|
])("trap aborts (%s)", async (mode, message) => {
|
|
const err = await execFileAsync(bin, [mode]).then(
|
|
() => {
|
|
throw new Error(`expected ${mode} to abort`);
|
|
},
|
|
(e: Error & { signal?: string; stderr?: string }) => e,
|
|
);
|
|
expect(err.signal).toBe("SIGABRT");
|
|
expect(err.stderr).toContain(`scriptc: RangeError: ${message}`);
|
|
});
|