From: Ted Kremenek <kremenek@apple.com>
Date: Mon, 4 May 2009 15:14:27 +0000 (+0000)
Subject: Zhongxing already implemented this FIXME.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=124838b947a3f612218416602b35ee65c5a9b30d;p=clang

Zhongxing already implemented this FIXME.


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

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.