aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2001-08-24 14:56:34 +0000
committerChris Lattner <sabre@nondot.org>2001-08-24 14:56:34 +0000
commit1b5499bbb82848ee7d5d5a9062eb97b63fd9c5c6 (patch)
treeab44383ca80161675644862fc5dff9c89204cc02
parent766403276fe796150fdd2237bc8f11455a6b9a8f (diff)
Make sure noone branches to the entry node of the method
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@369 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--lib/Analysis/PostDominators.cpp1
-rw-r--r--lib/VMCore/Dominators.cpp1
2 files changed, 2 insertions, 0 deletions
diff --git a/lib/Analysis/PostDominators.cpp b/lib/Analysis/PostDominators.cpp
index 24ff439994..d349314a1a 100644
--- a/lib/Analysis/PostDominators.cpp
+++ b/lib/Analysis/PostDominators.cpp
@@ -53,6 +53,7 @@ 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!");
bool Changed;
do {
Changed = false;
diff --git a/lib/VMCore/Dominators.cpp b/lib/VMCore/Dominators.cpp
index 24ff439994..d349314a1a 100644
--- a/lib/VMCore/Dominators.cpp
+++ b/lib/VMCore/Dominators.cpp
@@ -53,6 +53,7 @@ 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!");
bool Changed;
do {
Changed = false;