From ff5a8c43c9a299b133aeac6bae73959f4f94b19e Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Mon, 26 Nov 2001 18:52:02 +0000 Subject: [PATCH] Fix a bad assertion to be correct . The root basic block can be used by PHI nodes. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1370 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/PostDominators.cpp | 4 +++- lib/VMCore/Dominators.cpp | 4 +++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/lib/Analysis/PostDominators.cpp b/lib/Analysis/PostDominators.cpp index c241646b636..2bc3edbc2a8 100644 --- a/lib/Analysis/PostDominators.cpp +++ b/lib/Analysis/PostDominators.cpp @@ -54,7 +54,9 @@ cfg::DominatorSet::DominatorSet(const Method *M) : DominatorBase(M->front()) { // void cfg::DominatorSet::calcForwardDominatorSet(const Method *M) { assert(Root && M && "Can't build dominator set of null method!"); - assert(Root->use_size() == 0 && "Root node has predecessors in method!"); + assert(Root->pred_begin() == Root->pred_end() && + "Root node has predecessors in method!"); + bool Changed; do { Changed = false; diff --git a/lib/VMCore/Dominators.cpp b/lib/VMCore/Dominators.cpp index c241646b636..2bc3edbc2a8 100644 --- a/lib/VMCore/Dominators.cpp +++ b/lib/VMCore/Dominators.cpp @@ -54,7 +54,9 @@ cfg::DominatorSet::DominatorSet(const Method *M) : DominatorBase(M->front()) { // void cfg::DominatorSet::calcForwardDominatorSet(const Method *M) { assert(Root && M && "Can't build dominator set of null method!"); - assert(Root->use_size() == 0 && "Root node has predecessors in method!"); + assert(Root->pred_begin() == Root->pred_end() && + "Root node has predecessors in method!"); + bool Changed; do { Changed = false;