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, 22 insertions, 0 deletions

diff --git a/tests/diagnostics/array-parameterblock-array-in-struct.slang b/tests/diagnostics/array-parameterblock-array-in-struct.slang
new file mode 100644
index 000000000..832c90925
--- /dev/null
+++ b/tests/diagnostics/array-parameterblock-array-in-struct.slang
@@ -0,0 +1,22 @@
+// Test that structs containing arrays of ParameterBlocks are also NonAddressable
+// and therefore cannot be used in arrays
+
+//TEST:SIMPLE(filecheck=CHECK): -target spirv -allow-glsl -stage compute -entry computeMain
+//TEST_DISABLED:SIMPLE(filecheck=CHECK): -target glsl -allow-glsl -stage compute -entry computeMain  
+
+// Test case: struct containing array of ParameterBlock
+struct StructWithParameterBlockArray
+{
+    ParameterBlock<Texture2D> blocks[2];  // Array of ParameterBlocks
+    int value;
+}
+
+// This should trigger error 30027 - arrays of NonAddressable types are not allowed
+//CHECK: ([[# @LINE+1]]): error 30027
+StructWithParameterBlockArray myArray[3];  // Array of struct containing ParameterBlock array
+
+[numthreads(1, 1, 1)]
+void computeMain()
+{
+    // Empty - we're just testing the declaration
+}
\ No newline at end of file