diff options
Diffstat (limited to 'llvm/lib/IR/Verifier.cpp')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 22 |
1 files changed, 14 insertions, 8 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index fc9cc7d27d5..abb0e9b32a9 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -4380,14 +4380,20 @@ void Verifier::verifyTypeRefs() { // Visit all the compile units again to map the type references. SmallDenseMap<const MDString *, const DIType *, 32> TypeRefs; - for (auto *MD : CUs->operands()) - if (auto *CU = dyn_cast<DICompileUnit>(MD)) - for (DIType *Op : CU->getRetainedTypes()) - if (auto *T = dyn_cast_or_null<DICompositeType>(Op)) - if (auto *S = T->getRawIdentifier()) { - UnresolvedTypeRefs.erase(S); - TypeRefs.insert(std::make_pair(S, T)); - } + for (auto *MD : CUs->operands()) { + auto *CU = dyn_cast<DICompileUnit>(MD); + if (!CU) + continue; + auto *Array = CU->getRawRetainedTypes(); + if (!Array || !isa<MDTuple>(Array)) + continue; + for (DIType *Op : CU->getRetainedTypes()) + if (auto *T = dyn_cast_or_null<DICompositeType>(Op)) + if (auto *S = T->getRawIdentifier()) { + UnresolvedTypeRefs.erase(S); + TypeRefs.insert(std::make_pair(S, T)); + } + } // Verify debug info intrinsic bit piece expressions. This needs a second // pass through the intructions, since we haven't built TypeRefs yet when |
