diff options
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index f010fd35dea..e643dff324c 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -258,15 +258,16 @@ public: return false; } for (const BasicBlock &BB : F) { - if (BB.empty() || !BB.back().isTerminator()) { - if (OS) { - *OS << "Basic Block in function '" << F.getName() - << "' does not have terminator!\n"; - BB.printAsOperand(*OS, true); - *OS << "\n"; - } - return false; + if (!BB.empty() && BB.back().isTerminator()) + continue; + + if (OS) { + *OS << "Basic Block in function '" << F.getName() + << "' does not have terminator!\n"; + BB.printAsOperand(*OS, true); + *OS << "\n"; } + return false; } // Now directly compute a dominance tree. We don't rely on the pass |
