From: Devang Patel <dpatel@apple.com>
Date: Tue, 12 Jun 2007 17:50:25 +0000 (+0000)
Subject: isReachableFromEntry() is not suitable for post dominator.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d75405fe95660877f62064211e252c8c8c4c05ea;p=oota-llvm.git

isReachableFromEntry() is not suitable for post dominator.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37562 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/VMCore/Dominators.cpp b/lib/VMCore/Dominators.cpp
index 74c585fd6a4..2fbb6e4bebe 100644
--- a/lib/VMCore/Dominators.cpp
+++ b/lib/VMCore/Dominators.cpp
@@ -325,6 +325,8 @@ void DominatorTreeBase::updateDFSNumbers()
 /// isReachableFromEntry - Return true if A is dominated by the entry
 /// block of the function containing it.
 const bool DominatorTreeBase::isReachableFromEntry(BasicBlock* A) {
+  assert (!isPostDominator() 
+          && "This is not implemented for post dominators");
   return dominates(&A->getParent()->getEntryBlock(), A);
 }