update diagnostic message

Author: kaizhangNV

source/slang/slang-diagnostic-defs.h

@@ -2551,7 +2551,7 @@ DIAGNOSTIC(
     attemptToQuerySizeOfUnsizedArray,
     "cannot obtain the size of an unsized array.")
 
-DIAGNOSTIC(56003, Error, useOfUninitializedOpaqueType, "use of uninitialized opaque type '$0'.")
+DIAGNOSTIC(56003, Error, useOfUninitializedOpaqueHandle, "use of uninitialized opaque handle '$0'.")
 
 // Metal
 DIAGNOSTIC(

source/slang/slang-ir-legalize-types.cpp

@@ -2063,7 +2063,7 @@ static LegalVal legalizeUndefined(IRTypeLegalizationContext* context, IRInst* in
         if (!loc.isValid())
             loc = getDiagnosticPos(containerType);
 
-        context->m_sink->diagnose(loc, Diagnostics::useOfUninitializedOpaqueType, opaqueType);
+        context->m_sink->diagnose(loc, Diagnostics::useOfUninitializedOpaqueHandle, opaqueType);
         SLANG_ABORT_COMPILATION("use of uninitialized resource type");
     }
     return LegalVal();

source/slang/slang-legalize-types.cpp

@@ -227,6 +227,21 @@ bool isOpaqueType(IRType* type, List<IRType*>& opaqueTypes)
         }
     }
 
+    if (auto tupleType = as<IRTupleTypeBase>(type))
+    {
+        for (UInt i = 0; i < tupleType->getOperandCount(); i++)
+        {
+            if (auto elementType = as<IRType>(tupleType->getOperand(i)))
+            {
+                if (isOpaqueType(elementType, opaqueTypes))
+                {
+                    opaqueTypes.add(type);
+                    return true;
+                }
+            }
+        }
+    }
+
     return false;
 }
 

tests/diagnostics/uninitialized-resource-type.slang.1.expected

@@ -3,7 +3,7 @@ standard error = {
 tests/diagnostics/uninitialized-resource-type.slang(40): warning 41016: use of uninitialized variable 'foo'
     const let result = process(foo);
                               ^
-tests/diagnostics/uninitialized-resource-type.slang(40): error 56003: use of uninitialized opaque type 'array<Texture2D,2>'.
+tests/diagnostics/uninitialized-resource-type.slang(40): error 56003: use of uninitialized opaque handle 'array<Texture2D,2>'.
     const let result = process(foo);
                               ^
 }

tests/diagnostics/uninitialized-resource-type.slang.expected

@@ -1,9 +1,9 @@
 result code = -1
 standard error = {
-tests/diagnostics/uninitialized-resource-type.slang(35): warning 41016: use of uninitialized variable 'foo'
+tests/diagnostics/uninitialized-resource-type.slang(40): warning 41016: use of uninitialized variable 'foo'
     const let result = process(foo);
                               ^
-tests/diagnostics/uninitialized-resource-type.slang(35): error 56003: use of uninitialized opaque type 'Texture2D'.
+tests/diagnostics/uninitialized-resource-type.slang(40): error 56003: use of uninitialized opaque handle 'Texture2D'.
     const let result = process(foo);
                               ^
 }