diff --git a/src/Sema.zig b/src/Sema.zig index abd66f22fe..e397a6659a 100644 --- a/src/Sema.zig +++ b/src/Sema.zig @@ -26193,6 +26193,8 @@ fn zirMemcpy(sema: *Sema, block: *Block, inst: Zir.Inst.Index) CompileError!void } try sema.requireRuntimeBlock(block, src, runtime_src); + try sema.validateRuntimeValue(block, dest_src, dest_ptr); + try sema.validateRuntimeValue(block, src_src, src_ptr); // Aliasing safety check. if (block.wantSafety()) { @@ -26321,6 +26323,9 @@ fn zirMemset(sema: *Sema, block: *Block, inst: Zir.Inst.Index) CompileError!void }; try sema.requireRuntimeBlock(block, src, runtime_src); + try sema.validateRuntimeValue(block, dest_src, dest_ptr); + try sema.validateRuntimeValue(block, value_src, elem); + _ = try block.addInst(.{ .tag = if (block.wantSafety()) .memset_safe else .memset, .data = .{ .bin_op = .{ diff --git a/test/cases/compile_errors/comptime_var_referenced_at_runtime.zig b/test/cases/compile_errors/comptime_var_referenced_at_runtime.zig index 30c3b2b850..2a5868f6b1 100644 --- a/test/cases/compile_errors/comptime_var_referenced_at_runtime.zig +++ b/test/cases/compile_errors/comptime_var_referenced_at_runtime.zig @@ -47,6 +47,22 @@ export fn qar() void { _ = y; } +export fn bux() void { + comptime var x: [2]u32 = undefined; + x = .{ 1, 2 }; + + var rt: [2]u32 = undefined; + @memcpy(&rt, &x); +} + +export fn far() void { + comptime var x: u32 = 123; + + var rt: [2]*u32 = undefined; + const elem: *u32 = &x; + @memset(&rt, elem); +} + // error // // :5:19: error: runtime value contains reference to comptime var @@ -63,3 +79,7 @@ export fn qar() void { // :41:12: note: comptime var pointers are not available at runtime // :46:39: error: runtime value contains reference to comptime var // :46:39: note: comptime var pointers are not available at runtime +// :55:18: error: runtime value contains reference to comptime var +// :55:18: note: comptime var pointers are not available at runtime +// :63:18: error: runtime value contains reference to comptime var +// :63:18: note: comptime var pointers are not available at runtime