From 4f724dce428dfe79489de17eef1809aa40324eef Mon Sep 17 00:00:00 2001 From: Chad Rosier Date: Wed, 25 Jan 2017 17:15:48 +0000 Subject: 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 --- llvm/lib/IR/Dominators.cpp | 4 ---- 1 file changed, 4 deletions(-) (limited to 'llvm/lib/IR/Dominators.cpp') 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; -- cgit v1.2.3