AstGen: store void to ptr result loc when there is no else branch

1 files changed, 23 insertions, 2 deletions

diff --git a/test/cases/compile_errors/missing_else_clause.zig b/test/cases/compile_errors/missing_else_clause.zig
index 716721bdea..2e5fe9318f 100644
--- a/test/cases/compile_errors/missing_else_clause.zig
+++ b/test/cases/compile_errors/missing_else_clause.zig
@@ -6,11 +6,32 @@ fn g(b: bool) void {
     const y = if (b) h: { break :h @as(i32, 1); };
     _ = y;
 }
-export fn entry() void { f(true); g(true); }
-
+fn h() void {
+    // https://github.com/ziglang/zig/issues/12743
+    const T = struct { oh_no: *u32 };
+    var x: T = if (false) {};
+    _ = x;
+}
+fn k(b: bool) void {
+    // block_ptr case
+    const T = struct { oh_no: u32 };
+    var x = if (b) blk: {
+        break :blk if (false) T{ .oh_no = 2 };
+    } else T{ .oh_no = 1 };
+    _ = x;
+}
+export fn entry() void {
+    f(true);
+    g(true);
+    h();
+    k(true);
+}
 // error
 // backend=stage2
 // target=native
 //
 // :2:21: error: incompatible types: 'i32' and 'void'
 // :6:15: error: incompatible types: 'i32' and 'void'
+// :12:16: error: expected type 'tmp.h.T', found 'void'
+// :11:15: note: struct declared here
+// :18:9: error: incompatible types: 'void' and 'tmp.k.T'