From 54d316a531ddb8e293711761e4f29e93d282599c Mon Sep 17 00:00:00 2001 From: zinc Date: Thu, 15 Oct 2026 02:46:57 +0330 Subject: std: File, the first user of drops: std.Host.open(path, mode) returns an owned std.File (or null) with write and read, and its drop closes the descriptor; Host.writefile is built on it; file_drop.zc, learn and readme --- tests/programs/file_drop.zc | 19 +++++++++++++++++++ tests/test.sh | 1 + 2 files changed, 20 insertions(+) create mode 100644 tests/programs/file_drop.zc (limited to 'tests') diff --git a/tests/programs/file_drop.zc b/tests/programs/file_drop.zc new file mode 100644 index 0000000..0c0738a --- /dev/null +++ b/tests/programs/file_drop.zc @@ -0,0 +1,19 @@ +namespace; +// std.File: Host.open gives an owned file whose drop closes the descriptor at its block end (a write to it then writes nothing) +include rt, std; +fn main() { + int fd = 0 - 1; + { + std.File* f = std.Host.open("/tmp/zc-file-drop.txt", 1); + fd = f.fd; + rt.put_n(f.write("hello")); rt.put_c(' '); + rt.put_n(rt.syscall(rt.SYS_WRITE, fd, "!", 1)); rt.put_c(' '); + } + rt.put_n(rt.syscall(rt.SYS_WRITE, fd, "?", 1) <= 0); rt.put_c(' '); + char* s = rt.readfile("/tmp/zc-file-drop.txt"); + rt.put_s(s); rt.put_c(' '); + rt.free(s); + std.File* g = std.Host.open("/tmp/zc-no-such-dir/x", 1); + rt.put_n(g == 0); rt.put_c(10); + return 0; +} diff --git a/tests/test.sh b/tests/test.sh index 6dfecf1..70e12b9 100755 --- a/tests/test.sh +++ b/tests/test.sh @@ -166,6 +166,7 @@ hello world!42 256 v" "$l a full capture is still terminated inside its buffer" chk "$($vm < tests/programs/sys.zc)" "2 zy time" "$l syscalls: write, read, time" + chk "$($vm < tests/programs/file_drop.zc)" "5 1 1 hello! 1" "$l std.File: its drop closes the descriptor at block end" chk "$($vm < tests/programs/memleak.zc)" $'leak: line 8 1 words\n1' "$l memdebug names a live allocation" chk "$($vm < tests/programs/uaf.zc)" $'zc: line 10: warning: use after free: this storage\'s lifetime ended on line 9\nzy: use after free from line 7\n at :10 in main' "$l memdebug: use after free" chk "$($vm < tests/programs/uaf_in.zc)" $'zy: use after free from line 7\n at :11 in main' "$l memdebug: use after free through an interior pointer" -- cgit v1.2.3