diff options
Diffstat (limited to 'llvm/lib/VMCore/Dominators.cpp')
| -rw-r--r-- | llvm/lib/VMCore/Dominators.cpp | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/llvm/lib/VMCore/Dominators.cpp b/llvm/lib/VMCore/Dominators.cpp index 19dda8cd709..2f080d3c55d 100644 --- a/llvm/lib/VMCore/Dominators.cpp +++ b/llvm/lib/VMCore/Dominators.cpp @@ -68,7 +68,14 @@ void DominatorTree::verifyAnalysis() const { DominatorTree OtherDT; OtherDT.getBase().recalculate(F); - assert(!compare(OtherDT) && "Invalid DominatorTree info!"); + if (compare(OtherDT)) { + errs() << "DominatorTree is not up to date! Computed:\n"; + print(errs()); + + errs() << "\nActual:\n"; + OtherDT.print(errs()); + abort(); + } } void DominatorTree::print(raw_ostream &OS, const Module *) const { |
