Added comment for removing assert

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

diff --git a/include/llvm/Analysis/DataStructure/DSNode.h b/include/llvm/Analysis/DataStructure/DSNode.h
index 6d3a068ac696b4a16b42f81026171b109ed798e5..e3442056cca0357ecbb817e703046edcfaab391c 100644 (file)
--- a/include/llvm/Analysis/DataStructure/DSNode.h
+++ b/include/llvm/Analysis/DataStructure/DSNode.h
@@ -424,6 +424,9 @@ inline DSNode *DSNodeHandle::getNode() const {
   // Disabling this assertion because it is failing on a "magic" struct
   // in named (from bind).  The fourth field is an array of length 0,
   // presumably used to create struct instances of different sizes.
+  // In a variable length struct, Offset could exceed Size when getNode()
+  // is called before such a node is folded. In this case, the DS Analysis now 
+  // correctly folds this node after calling getNode.
   /*  assert((!N ||
           N->isNodeCompletelyFolded() ||
           (N->Size == 0 && Offset == 0) ||