code wiki / (root) / nx_litpath_quirk_test.nx

nx_litpath_quirk_test.nx

buildroot/runtime/nx_litpath_quirk_test.nx

4121 B88 linesdepth 7pulls 7 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_litpath_quirk_test.nx -- minimal repro for literal-path syscall quirk. Hypothesis: passing a string-literal *u8 directly to sys_openat (via sys_read_file or sys_openat_rd) silently fails to find the file, while passing a mmap'd null-terminated buffer with the same bytes succeeds. Test: create a file via known-good write path, then read back via BOTH literal and mmap'd buffer. Compare results. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_chem.nx nx_syscalls.nx nx_litpath_quirk_test.nx

imports: nx_chem.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap build_test_path sys_openat_wr sys_write sys_close sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close ↻

structs

none

consts

none

functions

19func build_test_path(out_buf: *u8) -> nx_int
called by 1: main
32func main() -> nx_exit