61f5700a36
The 0141 repro relied on a silent-wrong coercion: passing List.items (a
[*]T many-pointer, no length) to a []T parameter passed the bare 8-byte
pointer into a 16-byte {ptr,len} slot — garbage .len, at comptime a segfault
in the VM slice decoder (decodeMemberSlice), at runtime an LLVM verify failure.
Fix (root cause): classify [*]T -> []T as many_to_slice_reject in
conversions.zig and emit a build-gating diagnostic in coerce.zig telling the
user to slice with a length (ptr[0..len]). Guard runComptimeTypeFunc to skip
VM eval once diagnostics.hasErrors() — a type-fn body that failed coercion
holds malformed comptime data (a real host Addr) that would fault the VM's
Ref-level guards.
Land the corrected feature as examples/0640 (List-grown comptime enum via
vs.items[0..vs.len] -> green=7) and the rejection as
examples/1183-diagnostics-many-pointer-to-slice-rejected. Mark issue 0141
RESOLVED.
708/0 corpus + 476/476 unit.
25 lines
870 B
Plaintext
25 lines
870 B
Plaintext
// A many-pointer `[*]T` carries NO length, so it cannot coerce to a slice `[]T`
|
|
// implicitly — doing so would pass a bare 8-byte pointer where a 16-byte
|
|
// `{ptr,len}` fat pointer is expected, silently corrupting the callee's view of
|
|
// the data (garbage length, mis-aligned element reads). The compiler rejects it
|
|
// loudly and tells the user to supply the length via `ptr[0..len]`.
|
|
//
|
|
// Regression (issue 0141): this silent mis-coercion segfaulted the comptime VM
|
|
// and failed LLVM verification at runtime; it now produces a clean diagnostic.
|
|
#import "modules/std.sx";
|
|
|
|
sum :: (s: []i64) -> i64 {
|
|
total := 0;
|
|
for s (x) { total += x; }
|
|
return total;
|
|
}
|
|
|
|
main :: () -> i32 {
|
|
xs : List(i64) = .{};
|
|
xs.append(10);
|
|
xs.append(20);
|
|
r := sum(xs.items); // [*]i64 → []i64 — needs xs.items[0..xs.len]
|
|
print("{}\n", r);
|
|
return 0;
|
|
}
|