From a4ff94804cfcdee49fb9c70812c15ff7d2829ee5 Mon Sep 17 00:00:00 2001
From: Andrew Kelley <andrew@ziglang.org>
Date: Tue, 24 May 2022 18:20:03 -0700
Subject: Sema: additional check for one-possible-value types in analyzeLoad

This is needed because pointers to zero-bit types are not necessarily
comptime known, but when doing a load, only the element type having one
possible value is relevant.
---
 src/Sema.zig | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src')

diff --git a/src/Sema.zig b/src/Sema.zig
index e625539286..cf9b5aa57f 100644
--- a/src/Sema.zig
+++ b/src/Sema.zig
@@ -20950,6 +20950,11 @@ fn analyzeLoad(
         .Pointer => ptr_ty.childType(),
         else => return sema.fail(block, ptr_src, "expected pointer, found '{}'", .{ptr_ty.fmt(sema.mod)}),
     };
+
+    if (try sema.typeHasOnePossibleValue(block, src, elem_ty)) |opv| {
+        return sema.addConstant(elem_ty, opv);
+    }
+
     if (try sema.resolveDefinedValue(block, ptr_src, ptr)) |ptr_val| {
         if (try sema.pointerDeref(block, ptr_src, ptr_val, ptr_ty)) |elem_val| {
             return sema.addConstant(elem_ty, elem_val);
-- 
cgit v1.2.3