diff options
| author | Manman Ren <manman.ren@gmail.com> | 2013-07-20 00:38:46 +0000 |
|---|---|---|
| committer | Manman Ren <manman.ren@gmail.com> | 2013-07-20 00:38:46 +0000 |
| commit | 96ea03839becf151b2eda518b4bc55b84f6373bf (patch) | |
| tree | 8341a3e3bf7ab5d8e7be4f70f7ce4dd1341e536d /lib/IR/Verifier.cpp | |
| parent | ac9e819ca9ad93cfbcf0b7c5b0a7cbbd34cd9176 (diff) | |
| download | external_llvm-96ea03839becf151b2eda518b4bc55b84f6373bf.zip external_llvm-96ea03839becf151b2eda518b4bc55b84f6373bf.tar.gz external_llvm-96ea03839becf151b2eda518b4bc55b84f6373bf.tar.bz2 | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@186737 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/IR/Verifier.cpp')
| -rw-r--r-- | lib/IR/Verifier.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp index 1d495b7..38fc7e3 100644 --- a/lib/IR/Verifier.cpp +++ b/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); } } |