From f8395ba4989d4b140cb11a877af5fb2f440135ca Mon Sep 17 00:00:00 2001 From: Sumant Kowshik Date: Tue, 6 Dec 2005 18:16:08 +0000 Subject: [PATCH] Added comment for removing assert git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@24623 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/Analysis/DataStructure/DSNode.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/include/llvm/Analysis/DataStructure/DSNode.h b/include/llvm/Analysis/DataStructure/DSNode.h index 6d3a068ac69..e3442056cca 100644 --- 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) ||