From 6d6403c2876ac87b8e51c166e0da8338bfe011f5 Mon Sep 17 00:00:00 2001 From: Devang Patel Date: Tue, 14 Aug 2007 16:53:52 +0000 Subject: [PATCH] Assert sooner. Fix wordings. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@41075 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/VMCore/Dominators.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/lib/VMCore/Dominators.cpp b/lib/VMCore/Dominators.cpp index d292e0816c3..bfba3e2eaf0 100644 --- a/lib/VMCore/Dominators.cpp +++ b/lib/VMCore/Dominators.cpp @@ -565,7 +565,8 @@ static void PrintDomTree(const DomTreeNode *N, std::ostream &o, void DominatorTreeBase::eraseNode(BasicBlock *BB) { DomTreeNode *Node = getNode(BB); assert (Node && "Removing node that isn't in dominator tree."); - + assert (Node->getChildren().empty() && "Node is not a leaf node."); + // Remove node from immediate dominator's children list. DomTreeNode *IDom = Node->getIDom(); if (IDom) { @@ -577,8 +578,6 @@ void DominatorTreeBase::eraseNode(BasicBlock *BB) { IDom->Children.erase(I); } - assert (Node->getChildren().empty() && "Children list is not empty"); - DomTreeNodes.erase(BB); delete Node; }