From d75405fe95660877f62064211e252c8c8c4c05ea Mon Sep 17 00:00:00 2001 From: Devang Patel Date: Tue, 12 Jun 2007 17:50:25 +0000 Subject: [PATCH] isReachableFromEntry() is not suitable for post dominator. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37562 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/VMCore/Dominators.cpp | 2 ++ 1 file changed, 2 insertions(+) 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); } -- 2.34.1