zig

commit b87baad0ff783be97f939a57fd9c10be3d34ee81 (tree)
parent e8f28cda9edb06a5f2189ca5e8928df52ddea20d
Author: David Rubin <daviru007@icloud.com>
Date:   Mon, 22 Apr 2024 07:14:02 -0700

error on `undefined` end index

Diffstat:
M
src/Sema.zig
 | 
2
+-
A
test/cases/compile_errors/slice_end_index_undefined.zig
 | 
10
++++++++++

2 files changed, 11 insertions(+), 1 deletion(-)
diff --git a/src/Sema.zig b/src/Sema.zig
@@ -32507,7 +32507,7 @@ fn analyzeSlice(
                     const uncasted_end = try sema.analyzeArithmetic(block, .add, start, len, src, start_src, end_src, false);
                     break :end try sema.coerce(block, Type.usize, uncasted_end, end_src);
                 } else try sema.coerce(block, Type.usize, uncasted_end_opt, end_src);
-                if (try sema.resolveValue(end)) |end_val| {
+                if (try sema.resolveDefinedValue(block, end_src, end)) |end_val| {
                     const len_s_val = try mod.intValue(
                         Type.usize,
                         array_ty.arrayLenIncludingSentinel(mod),
diff --git a/test/cases/compile_errors/slice_end_index_undefined.zig b/test/cases/compile_errors/slice_end_index_undefined.zig
@@ -0,0 +1,10 @@
+export fn a() void {
+    var array: [0]void = undefined;
+    _ = array[0..undefined];
+}
+
+// error
+// backend=stage2
+// target=native
+//
+// :3:18: error: use of undefined value here causes undefined behavior