From a040ccb42f1b34ba612c975b7030ccdcbb3f8086 Mon Sep 17 00:00:00 2001
From: Veikka Tuominen <git@vexu.eu>
Date: Sat, 4 Jun 2022 12:20:28 +0300
Subject: [PATCH] Sema: fix coerce result ptr outside of functions

---
 src/Sema.zig            | 9 ++++++++-
 test/behavior/basic.zig | 9 +++++++++
 2 files changed, 17 insertions(+), 1 deletion(-)

diff --git a/src/Sema.zig b/src/Sema.zig
index 593b299833..5669b4811a 100644
--- a/src/Sema.zig
+++ b/src/Sema.zig
@@ -1875,7 +1875,7 @@ fn zirCoerceResultPtr(sema: *Sema, block: *Block, inst: Zir.Inst.Index) CompileE
 
     const dummy_ptr = try trash_block.addTy(.alloc, sema.typeOf(ptr));
     const dummy_operand = try trash_block.addBitCast(pointee_ty, .void_value);
-    try sema.storePtr(&trash_block, src, dummy_ptr, dummy_operand);
+    try sema.storePtr2(&trash_block, src, dummy_ptr, src, dummy_operand, src, .bitcast);
 
     {
         const air_tags = sema.air_instructions.items(.tag);
@@ -20187,6 +20187,13 @@ fn storePtr2(
 
     // TODO handle if the element type requires comptime
 
+    if (air_tag == .bitcast) {
+        // `air_tag == .bitcast` is used as a special case for `zirCoerceResultPtr`
+        // to avoid calling `requireRuntimeBlock` for the dummy block.
+        _ = try block.addBinOp(.store, ptr, operand);
+        return;
+    }
+
     try sema.requireRuntimeBlock(block, runtime_src);
     try sema.queueFullTypeResolution(elem_ty);
     _ = try block.addBinOp(air_tag, ptr, operand);
diff --git a/test/behavior/basic.zig b/test/behavior/basic.zig
index 3129091091..b45f5a0b49 100644
--- a/test/behavior/basic.zig
+++ b/test/behavior/basic.zig
@@ -1,5 +1,6 @@
 const std = @import("std");
 const builtin = @import("builtin");
+const assert = std.debug.assert;
 const mem = std.mem;
 const expect = std.testing.expect;
 const expectEqualStrings = std.testing.expectEqualStrings;
@@ -1053,3 +1054,11 @@ test "const alloc with comptime known initializer is made comptime known" {
         if (u.a == 0) @compileError("bad");
     }
 }
+
+comptime {
+    // coerce result ptr outside a function
+    const S = struct { a: comptime_int };
+    var s: S = undefined;
+    s = S{ .a = 1 };
+    assert(s.a == 1);
+}