Merge pull request #13032 from jacobly0/br-on-undef-val

stage2: fix branches on undefined values

3 files changed, 27 insertions, 0 deletions

diff --git a/test/standalone.zig b/test/standalone.zig
index aa6c0f0a14..d3dedb59e6 100644
--- a/test/standalone.zig
+++ b/test/standalone.zig
@@ -97,4 +97,6 @@ pub fn addCases(cases: *tests.StandaloneContext) void {
     // Disabled due to tripping LLVM 13 assertion:
     // https://github.com/ziglang/zig/issues/12015
     //cases.add("tools/update_spirv_features.zig");
+
+    cases.addBuildFile("test/standalone/issue_13030/build.zig", .{ .build_modes = true });
 }
diff --git a/test/standalone/issue_13030/build.zig b/test/standalone/issue_13030/build.zig
new file mode 100644
index 0000000000..8c05e47cf6
--- /dev/null
+++ b/test/standalone/issue_13030/build.zig
@@ -0,0 +1,18 @@
+const std = @import("std");
+const builtin = @import("builtin");
+const Builder = std.build.Builder;
+const CrossTarget = std.zig.CrossTarget;
+
+pub fn build(b: *Builder) void {
+    const mode = b.standardReleaseOptions();
+    const target = b.standardTargetOptions(.{});
+
+    const obj = b.addObject("main", "main.zig");
+    obj.setBuildMode(mode);
+
+    obj.setTarget(target);
+    b.default_step.dependOn(&obj.step);
+
+    const test_step = b.step("test", "Test the program");
+    test_step.dependOn(&obj.step);
+}
diff --git a/test/standalone/issue_13030/main.zig b/test/standalone/issue_13030/main.zig
new file mode 100644
index 0000000000..5e4c976db3
--- /dev/null
+++ b/test/standalone/issue_13030/main.zig
@@ -0,0 +1,7 @@
+fn b(comptime T: type) ?*const fn () error{}!T {
+    return null;
+}
+
+export fn entry() void {
+    _ = b(void);
+}