aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/Store.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Analysis/Store.cpp')
-rw-r--r--lib/Analysis/Store.cpp2
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.