diff options
| author | Sumant Kowshik <kowshik@uiuc.edu> | 2005-12-06 18:16:08 +0000 |
|---|---|---|
| committer | Sumant Kowshik <kowshik@uiuc.edu> | 2005-12-06 18:16:08 +0000 |
| commit | f8395ba4989d4b140cb11a877af5fb2f440135ca (patch) | |
| tree | 1178813e61e867dbce5d75675c35b750fa70bc8c | |
| parent | 8a3802d5b2c366c1470695c183da87920748a27d (diff) | |
| download | external_llvm-f8395ba4989d4b140cb11a877af5fb2f440135ca.zip external_llvm-f8395ba4989d4b140cb11a877af5fb2f440135ca.tar.gz external_llvm-f8395ba4989d4b140cb11a877af5fb2f440135ca.tar.bz2 | |
Added comment for removing assert
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@24623 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | include/llvm/Analysis/DataStructure/DSNode.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/llvm/Analysis/DataStructure/DSNode.h b/include/llvm/Analysis/DataStructure/DSNode.h index 6d3a068..e344205 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) || |