mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-10-20 05:40:17 +08:00
Chris Tate
db94b2d257
fs.cpSync, fs.cp and fs/promises cp compile with every option: dereference, errorOnExist, filter, force, mode, preserveTimestamps, recursive and verbatimSymlinks. They follow Node's two implementations. cpSync follows cp-sync.js over the fs binding: copy errors are plain Errors with a code, std::error_code failures throw an ErrnoException, and links inside a copied directory point at their canonical targets. fs.cp and fs/promises cp follow cp.js, whose copy errors are SystemErrors with code, info, errno, syscall and path. Options and paths validate in Node's order with Node's errors. filter runs for the top-level paths and each entry in Node's order; an async filter must return a promise that is already settled, and a pending one throws SC2020. The callback and promise forms complete the copy before the callback runs or the promise settles. Windows builds throw SC2020. The copy lives in the new scr_fs_cp.c. Directory walks keep their frames on the heap, so deep trees also copy on a fiber's stack. File contents copy with sendfile on Linux, and COPYFILE_FICLONE uses FICLONE where it exists. ScrError gains the SystemError context and the ErrnoException key order, with matching fields in the compiler's Error layout. The stored fs.cp callback uses the same implementation. Corpus 5567-5571 cover the sync, callback and promise forms, errors, symlinks and 1500-level trees.
66 lines
1.7 KiB
TypeScript
66 lines
1.7 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 { expect, test } from "vitest";
|
|
|
|
const execFileAsync = promisify(execFile);
|
|
const testDir = import.meta.dirname;
|
|
const srcDir = join(testDir, "../src");
|
|
|
|
const RUNTIME_SOURCES = [
|
|
"scr_number.c",
|
|
"scr_bigint.c",
|
|
"scr_string.c",
|
|
"scr_array.c",
|
|
"scr_bytes.c",
|
|
"scr_shared.c",
|
|
"scr_bytes_io.c",
|
|
"scr_fs_cp.c",
|
|
"scr_map.c",
|
|
"scr_closure.c",
|
|
"scr_ffi.c",
|
|
"scr_object.c",
|
|
"scr_union.c",
|
|
"scr_exception.c",
|
|
"scr_error.c",
|
|
"scr_console.c",
|
|
"scr_lib.c",
|
|
"scr_hash.c",
|
|
"scr_url.c",
|
|
"scr_url_params.c",
|
|
"scr_path.c",
|
|
"scr_json.c",
|
|
"scr_async.c",
|
|
"scr_child.c",
|
|
"scr_cycle.c",
|
|
"scr_alloc.c",
|
|
].map((f) => join(srcDir, f));
|
|
|
|
// Full runtime smoke under ASan + the RC audit: proves the API works and the
|
|
// hand-modeled ownership discipline (the same one the LLVM emitter uses) is
|
|
// leak- and double-free-clean.
|
|
test("runtime smoke.c: output exact, ASan and RC audit clean", async () => {
|
|
const buildDir = join(testDir, "build");
|
|
await mkdir(buildDir, { recursive: true });
|
|
const bin = join(buildDir, "smoke");
|
|
await execFileAsync("clang", [
|
|
"-std=c11",
|
|
"-O1",
|
|
"-Wall",
|
|
"-Wextra",
|
|
"-fsanitize=address",
|
|
"-DSCR_RC_AUDIT",
|
|
...(process.platform === "linux" ? ["-D_GNU_SOURCE"] : []),
|
|
"-o",
|
|
bin,
|
|
join(testDir, "smoke.c"),
|
|
...RUNTIME_SOURCES,
|
|
...(process.platform === "linux" ? ["-lm"] : []),
|
|
]);
|
|
const { stdout } = await execFileAsync(bin);
|
|
expect(stdout).toBe(
|
|
"hello world\n" + "n = 0.30000000000000004 flag = true\n" + "hellohello 10\n" + "true\n",
|
|
);
|
|
});
|