diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-15 22:15:38 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-15 22:15:38 +0330 |
| commit | be43babc1886fc5efee898b2a3d0285012e511fb (patch) | |
| tree | b7ae73e7a6d4c896e2c49b7090168ef589b574af /src/compiler/ops.zc | |
| parent | merge work/known-bugs: constant-expression precedence, local const in constan... (diff) | |
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
Diffstat (limited to 'src/compiler/ops.zc')
| -rw-r--r-- | src/compiler/ops.zc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/ops.zc b/src/compiler/ops.zc index a396f72..0129e75 100644 --- a/src/compiler/ops.zc +++ b/src/compiler/ops.zc @@ -141,7 +141,7 @@ int add_method(char* member, char* function_name) { return s; } int receiver_method(word receiver_type, int member) { - word link = receiver_methods, ft, actual; word[8] bs; int found = -1, s; + word link = receiver_methods, ft, actual; word[8] bs = {}; int found = -1, s; while (link) { s = link[2]; if (s < nsym && link[1] == member) { |