From 19b4986b80c92dfdf55af1320c888dbc3bde8d5a Mon Sep 17 00:00:00 2001 From: Manman Ren Date: Sat, 20 Jul 2013 00:38:46 +0000 Subject: Debug Info Verifier: simplify DIxxx::Verify Simplify DIxxx:Verify to not call Verify on an operand. Instead, we use DebugInfoFinder to list all MDNodes that should be a DIScope and all MDNodes that should be a DIType and we will call Verify on those lists. llvm-svn: 186737 --- llvm/lib/IR/Verifier.cpp | 3 +++ 1 file changed, 3 insertions(+) (limited to 'llvm/lib/IR/Verifier.cpp') diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index 1d495b7ed46..38fc7e3a1ba 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -2214,6 +2214,9 @@ void Verifier::verifyDebugInfo(Module &M) { for (DebugInfoFinder::iterator I = Finder.type_begin(), E = Finder.type_end(); I != E; ++I) Assert1(DIType(*I).Verify(), "DIType does not Verify!", *I); + for (DebugInfoFinder::iterator I = Finder.scope_begin(), + E = Finder.scope_end(); I != E; ++I) + Assert1(DIScope(*I).Verify(), "DIScope does not Verify!", *I); } } -- cgit v1.2.3