diff options
Diffstat (limited to 'src/Sema.zig')
| -rw-r--r-- | src/Sema.zig | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/src/Sema.zig b/src/Sema.zig index 68890c1f6f..5b2e846ff0 100644 --- a/src/Sema.zig +++ b/src/Sema.zig @@ -8060,7 +8060,7 @@ fn analyzeCall( }; try sema.air_extra.ensureUnusedCapacity(gpa, @typeInfo(Air.Call).@"struct".fields.len + runtime_args.len); - const result = try block.addInst(.{ + const maybe_opv = try block.addInst(.{ .tag = call_tag, .data = .{ .pl_op = .{ .operand = runtime_func, @@ -8072,7 +8072,7 @@ fn analyzeCall( sema.appendRefsAssumeCapacity(runtime_args); if (ensure_result_used) { - try sema.ensureResultUsed(block, sema.typeOf(result), call_src); + try sema.ensureResultUsed(block, sema.typeOf(maybe_opv), call_src); } if (call_tag == .call_always_tail) { @@ -8082,10 +8082,10 @@ fn analyzeCall( .pointer => func_or_ptr_ty.childType(zcu), else => unreachable, }; - return sema.handleTailCall(block, call_src, runtime_func_ty, result); + return sema.handleTailCall(block, call_src, runtime_func_ty, maybe_opv); } - if (resolved_ret_ty.toIntern() == .noreturn_type) { + if (ip.isNoReturn(resolved_ret_ty.toIntern())) { const want_check = c: { if (!block.wantSafety()) break :c false; if (func_val != null) break :c false; @@ -8099,6 +8099,11 @@ fn analyzeCall( return .unreachable_value; } + const result: Air.Inst.Ref = if (try sema.typeHasOnePossibleValue(sema.typeOf(maybe_opv))) |opv| + .fromValue(opv) + else + maybe_opv; + return result; } @@ -8335,7 +8340,7 @@ fn analyzeCall( break :result try sema.resolveAnalyzedBlock(block, call_src, &child_block, &inlining.merges, need_debug_scope); }; - const result: Air.Inst.Ref = if (try sema.resolveValue(result_raw)) |result_val| r: { + const maybe_opv: Air.Inst.Ref = if (try sema.resolveValue(result_raw)) |result_val| r: { const val_resolved = try sema.resolveAdHocInferredErrorSet(block, call_src, result_val.toIntern()); break :r Air.internedToRef(val_resolved); } else r: { @@ -8347,7 +8352,7 @@ fn analyzeCall( }; if (block.isComptime()) { - const result_val = (try sema.resolveValue(result)).?; + const result_val = (try sema.resolveValue(maybe_opv)).?; if (want_memoize and sema.allow_memoize and !result_val.canMutateComptimeVarState(zcu)) { _ = try pt.intern(.{ .memoized_call = .{ .func = func_val.?.toIntern(), @@ -8359,10 +8364,10 @@ fn analyzeCall( } if (ensure_result_used) { - try sema.ensureResultUsed(block, sema.typeOf(result), call_src); + try sema.ensureResultUsed(block, sema.typeOf(maybe_opv), call_src); } - return result; + return maybe_opv; } fn handleTailCall(sema: *Sema, block: *Block, call_src: LazySrcLoc, func_ty: Type, result: Air.Inst.Ref) !Air.Inst.Ref { |