Fix segfault on arrays of structs containing parameter blocks (#8555)

Closes https://github.com/shader-slang/slang/issues/8154 However there
is further design work to do on implementing the "NonAddressableType"
suggestion

1 files changed, 44 insertions, 0 deletions

diff --git a/tests/diagnostics/array-of-struct-with-parameterblock.slang b/tests/diagnostics/array-of-struct-with-parameterblock.slang
new file mode 100644
index 000000000..07ca3a50f
--- /dev/null
+++ b/tests/diagnostics/array-of-struct-with-parameterblock.slang
@@ -0,0 +1,44 @@
+// Test that arrays of structs containing ParameterBlocks are properly diagnosed
+// with error 30027 instead of causing a compiler crash
+
+//TEST:SIMPLE(filecheck=CHECK): -target spirv
+
+// A struct that contains a ParameterBlock member
+struct MyStruct
+{
+    ParameterBlock<IMyInterface> pb;
+    int data;
+}
+
+interface IMyInterface
+{
+    int getValue();
+}
+
+[shader("compute")]
+[numthreads(1, 1, 1)]
+void computeMain()
+{
+    // CHECK: ([[# @LINE+1]]): error 30027:
+    MyStruct arr[2];
+    
+    // Also test with dynamic arrays
+    // CHECK: ([[# @LINE+1]]): error 30027: 
+    MyStruct dynamicArr[];
+}
+
+// Test nested structs as well
+struct OuterStruct
+{
+    MyStruct inner;
+    float value;
+}
+
+[shader("compute")]
+[numthreads(1, 1, 1)]
+void computeMain2()
+{
+    // Nested struct containing ParameterBlock should also trigger the error
+    // CHECK: ([[# @LINE+1]]): error 30027:
+    OuterStruct nestedArr[3];
+}