From: Chris Lattner <sabre@nondot.org>
Date: Tue, 15 Feb 2005 18:48:48 +0000 (+0000)
Subject: Add a sanity check.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=7a0c775044463514fc90cc135ee9c79a321ad093;p=oota-llvm.git

Add a sanity check.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@20195 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Analysis/DataStructure/DataStructure.cpp b/lib/Analysis/DataStructure/DataStructure.cpp
index c0e3ef46b21..98fb07dff2d 100644
--- a/lib/Analysis/DataStructure/DataStructure.cpp
+++ b/lib/Analysis/DataStructure/DataStructure.cpp
@@ -1148,6 +1148,7 @@ DSNode *DSGraph::addObjectToGraph(Value *Ptr, bool UseDeclaredType) {
   assert(isa<PointerType>(Ptr->getType()) && "Ptr is not a pointer!");
   const Type *Ty = cast<PointerType>(Ptr->getType())->getElementType();
   DSNode *N = new DSNode(UseDeclaredType ? Ty : 0, this);
+  assert(ScalarMap[Ptr].isNull() && "Object already in this graph!");
   ScalarMap[Ptr] = N;
 
   if (GlobalValue *GV = dyn_cast<GlobalValue>(Ptr)) {