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 | 19b4986b80c92dfdf55af1320c888dbc3bde8d5a (patch) | |
| tree | e2f7bc47eb96a9b58e7041e0131ded4b213257c1 /llvm/lib/IR/Verifier.cpp | |
| parent | fe8ff5ccda3efffa830d515dfcf14e87f31e96b4 (diff) | |
| download | bcm5719-llvm-19b4986b80c92dfdf55af1320c888dbc3bde8d5a.tar.gz bcm5719-llvm-19b4986b80c92dfdf55af1320c888dbc3bde8d5a.zip | |
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
Diffstat (limited to 'llvm/lib/IR/Verifier.cpp')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
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); } } |
