diff options
| author | Chad Rosier <mcrosier@codeaurora.org> | 2017-01-25 17:15:48 +0000 |
|---|---|---|
| committer | Chad Rosier <mcrosier@codeaurora.org> | 2017-01-25 17:15:48 +0000 |
| commit | 4f724dce428dfe79489de17eef1809aa40324eef (patch) | |
| tree | c0d92c450e84cf8644d425336473b1662cfa64b9 /llvm/lib/IR/Dominators.cpp | |
| parent | aeb8e339689ad34e1dae78cdeee7f4b268321d29 (diff) | |
| download | bcm5719-llvm-4f724dce428dfe79489de17eef1809aa40324eef.tar.gz bcm5719-llvm-4f724dce428dfe79489de17eef1809aa40324eef.zip | |
Revert "Do not verify dominator tree if it has no roots"
This reverts commit r293033, per Danny's comment. In short, we require
domtrees to have roots at all times.
llvm-svn: 293075
Diffstat (limited to 'llvm/lib/IR/Dominators.cpp')
| -rw-r--r-- | llvm/lib/IR/Dominators.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/llvm/lib/IR/Dominators.cpp b/llvm/lib/IR/Dominators.cpp index 392670bbd29..44948cc5831 100644 --- a/llvm/lib/IR/Dominators.cpp +++ b/llvm/lib/IR/Dominators.cpp @@ -291,10 +291,6 @@ bool DominatorTree::isReachableFromEntry(const Use &U) const { } void DominatorTree::verifyDomTree() const { - if (getRoots().empty()) - // If dominator tree is unavailable, skip verification. - return; - Function &F = *getRoot()->getParent(); DominatorTree OtherDT; |
