[llvm-commits] CVS: llvm/lib/VMCore/Dominators.cpp

[Devang Patel]

Changes in directory llvm/lib/VMCore:

Dominators.cpp updated: 1.116 -> 1.117
---
Log message:

isReachableFromEntry() is not suitable for post dominator.


---
Diffs of the changes:  (+2 -0)

 Dominators.cpp |    2 ++
 1 files changed, 2 insertions(+)


Index: llvm/lib/VMCore/Dominators.cpp
diff -u llvm/lib/VMCore/Dominators.cpp:1.116 llvm/lib/VMCore/Dominators.cpp:1.117
--- llvm/lib/VMCore/Dominators.cpp:1.116	Tue Jun 12 12:35:20 2007
+++ llvm/lib/VMCore/Dominators.cpp	Tue Jun 12 12:50:25 2007
@@ -325,6 +325,8 @@
 /// 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);
 }