isReachableFromEntry() is not suitable for post dominator.

llvm-svn: 37562
This commit is contained in:
Devang Patel 2007-06-12 17:50:25 +00:00
parent 47419ee142
commit 149a7616dc
1 changed files with 2 additions and 0 deletions

View File

@ -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);
}