Add load paths to return value check (shader-slang#5042)

source/slang/slang-ir-use-uninitialized-values.cpp

@@ -438,6 +438,12 @@ namespace Slang
             IRInst* user = use->getUser();
             if (as<IRReturn>(user))
                 return true;
+
+            // Loading from a Ptr type should be
+            // treated as an aliased path to any return
+            IRLoad *load = as<IRLoad>(user);
+            if (load && isReturnedValue(load))
+                return true;
         }
         return false;
     }

tests/diagnostics/uninitialized-struct-from-constructor.slang

@@ -0,0 +1,24 @@
+//TEST:SIMPLE(filecheck=CHK): -target spirv
+
+struct TangentSpace
+{
+    static const float3 localNormal = {0, 1, 0};
+
+    float4x4 tangentTransform;
+    float3 geometryNormal;
+
+    __init(in float3 normal, in float3 inRay)
+    {
+        // Should not warn here
+        tangentTransform = getMatrix(normal, inRay);
+        geometryNormal = localNormal;
+    }
+
+    float4x4 getMatrix(in float3 normal, in float3 inRay)
+    {
+        return float4x4(0.0f);
+    }
+}
+
+//CHK-NOT: warning 41020
+//CHK-NOT: warning 41021