From: Chris Lattner <sabre@nondot.org>
Date: Sat, 30 Oct 2004 04:03:47 +0000 (+0000)
Subject: Add an assertion and a method
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5b3ed508f62ed09cec4162633cb074c424106c16;p=oota-llvm.git

Add an assertion and a method


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

diff --git a/include/llvm/Analysis/DataStructure/DSSupport.h b/include/llvm/Analysis/DataStructure/DSSupport.h
index e5bf3904728..6dbd36b4444 100644
--- a/include/llvm/Analysis/DataStructure/DSSupport.h
+++ b/include/llvm/Analysis/DataStructure/DSSupport.h
@@ -95,9 +95,13 @@ public:
 
   // Allow explicit conversion to DSNode...
   inline DSNode *getNode() const;  // Defined inline in DSNode.h
-  unsigned getOffset() const { return Offset; }
+  unsigned getOffset() const {
+    assert(!isForwarding() && "This is a forwarding NH, call getNode() first!");
+    return Offset;
+  }
 
   void setOffset(unsigned O) {
+    assert(!isForwarding() && "This is a forwarding NH, call getNode() first!");
     //assert((!N || Offset < N->Size || (N->Size == 0 && Offset == 0) ||
     //       !N->ForwardNH.isNull()) && "Node handle offset out of range!");
     //assert((!N || O < N->Size || (N->Size == 0 && O == 0) ||
@@ -128,6 +132,10 @@ public:
   inline void setLink(unsigned Num, const DSNodeHandle &NH);
 private:
   DSNode *HandleForwarding() const;
+
+  /// isForwarding - Return true if this NodeHandle is forwarding to another
+  /// one.
+  bool isForwarding() const;
 };
 
 } // End llvm namespace