Track uninitialized values of `Ptr<Specialize<T>>` inside type `T` without hang (#4885)

* Track uninitialized values of `Ptr<Specialize<T>>` inside type `T` without hang

Fixes #4878
Track uninitialized values of `Ptr<Specialize<T>>` inside type `T` without hang

* change method used to resolve base of specialization

1 files changed, 2 insertions, 0 deletions

diff --git a/source/slang/slang-ir-use-uninitialized-values.cpp b/source/slang/slang-ir-use-uninitialized-values.cpp
index 8b940d30d..43fcb16c9 100644
--- a/source/slang/slang-ir-use-uninitialized-values.cpp
+++ b/source/slang/slang-ir-use-uninitialized-values.cpp
@@ -180,6 +180,8 @@ namespace Slang
             // Avoid the recursive step if its a
             // recursive structure like a linked list
             IRType* ptype = ptr->getValueType();
+            if(auto resolvedType = as<IRType>(getResolvedInstForDecorations(ptype)))
+                ptype = resolvedType;
             return (ptype != upper) && canIgnoreType(ptype, upper);
         }