From be43babc1886fc5efee898b2a3d0285012e511fb Mon Sep 17 00:00:00 2001 From: zinc Date: Thu, 15 Oct 2026 22:15:38 +0330 Subject: definite assignment: reading a local before it is initialized is a compile error (spec 4.1.5, b.1.9) track linited per local alongside the ownership state; snapshots, exit records and joins carry it, and a join keeps a local set only when every reaching path set it. x = e, a declaration initializer, &x (out-parameter), a full array initializer, or using an aggregate as an address set a local; field and element writes do not set the aggregate. while/for bodies that may run zero times do not count; do/while does. compiler, runtime, std, actor and lsp sources initialize the locals the rule flagged; zc0 accepts = {} brace lists (zeroed). tests: tests/errors/uninit_*.zc, tests/conformance/4-statements/uninit_*.zc --- src/lib/actor.zc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/lib') diff --git a/src/lib/actor.zc b/src/lib/actor.zc index c013441..d0c0f10 100644 --- a/src/lib/actor.zc +++ b/src/lib/actor.zc @@ -121,7 +121,7 @@ unchecked int write_message(int fd, word address, word type) { rt.free(refs); rt.free(data); return result; } unchecked int read_message(int fd, word address, word type) { - int count = 0; word data, refs, frame[2]; + int count = 0; word data, refs, frame[2] = {}; if (rt.syscall(45, fd, &count, 1) < 0 || count < 0 || count > 1048576) return -1; data = rt.dnew(1, count, 0); refs = vector(); frame[0] = data; frame[1] = 0; if (rt.syscall(45, fd, data[2], count) < 0) { rt.free(refs); rt.free(data); return -1; } -- cgit v1.2.3