From ea6f8551ad38f2bcc32b542fd52ce17f3829cbeb Mon Sep 17 00:00:00 2001
From: Ellie Hermaszewska <ellieh@nvidia.com>
Date: Tue, 29 Jul 2025 20:38:08 +0800
Subject: Detect uses of uninitialized resource fields (#7962)

Closes https://github.com/shader-slang/slang/issues/3386
---
 .../diagnostics/uninitialized-resource-field.slang | 26 ++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 tests/diagnostics/uninitialized-resource-field.slang

(limited to 'tests')

diff --git a/tests/diagnostics/uninitialized-resource-field.slang b/tests/diagnostics/uninitialized-resource-field.slang
new file mode 100644
index 000000000..b2e87effb
--- /dev/null
+++ b/tests/diagnostics/uninitialized-resource-field.slang
@@ -0,0 +1,26 @@
+//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK): -stage compute -entry computeMain -target hlsl
+
+RWStructuredBuffer<int> outputBuffer;
+
+void useStruct(SomeStruct s)
+{
+    outputBuffer[0] = s.value;
+}
+
+[shader("compute")]
+[numthreads(1,1,1)]
+void computeMain(uint3 threadId : SV_DispatchThreadID)
+{
+    // CHECK: ([[# @LINE+1]]): error {{.*}} cannot default-initialize struct 'SomeStruct' with '{}' because it contains an uninitialized texture field
+    SomeStruct s = {};
+
+    s.value = 10 + threadId.x;
+    useStruct(s);
+}
+
+// CHECK: ([[# @LINE+1]]): note: see definition of struct 'SomeStruct'
+struct SomeStruct
+{
+    int value;
+    Texture1D<float> tex;
+}
-- 
cgit v1.2.3