diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-05-04 15:14:27 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-05-04 15:14:27 +0000 |
| commit | 124838b947a3f612218416602b35ee65c5a9b30d (patch) | |
| tree | 3973d062705a389ac136ac88055ca285dc511d15 /lib/Analysis/Store.cpp | |
| parent | 0b9ad89d0d4ba79cde726753169f83a72dc3d994 (diff) | |
Zhongxing already implemented this FIXME.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70864 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/Store.cpp')
| -rw-r--r-- | lib/Analysis/Store.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/Analysis/Store.cpp b/lib/Analysis/Store.cpp index c9c49c6e9b..749a657b12 100644 --- a/lib/Analysis/Store.cpp +++ b/lib/Analysis/Store.cpp @@ -65,8 +65,6 @@ StoreManager::CastRegion(const GRState* state, const MemRegion* R, if (const TypedRegion *TR = dyn_cast<TypedRegion>(R)) { // Check if we are casting to a region with an integer type. We now // the types aren't the same, so we construct an ElementRegion. - // FIXME: We should have a standard query function to get the size - // of the array index. SVal Idx = ValMgr.makeZeroIndex(); // If the super region is an element region, strip it away. |