diff options
Diffstat (limited to 'lib/Analysis/Store.cpp')
| -rw-r--r-- | lib/Analysis/Store.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Analysis/Store.cpp b/lib/Analysis/Store.cpp index 749a657b12..32b186b269 100644 --- a/lib/Analysis/Store.cpp +++ b/lib/Analysis/Store.cpp @@ -65,7 +65,7 @@ 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. - SVal Idx = ValMgr.makeZeroIndex(); + SVal Idx = ValMgr.makeZeroArrayIndex(); // If the super region is an element region, strip it away. // FIXME: Is this the right thing to do in all cases? |