diff options
Diffstat (limited to 'clang/lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | clang/lib/Analysis/BasicStore.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/Analysis/BasicStore.cpp b/clang/lib/Analysis/BasicStore.cpp index 017399f4fbd..e2a19cf834d 100644 --- a/clang/lib/Analysis/BasicStore.cpp +++ b/clang/lib/Analysis/BasicStore.cpp @@ -639,7 +639,7 @@ const GRState *BasicStoreManager::InvalidateRegion(const GRState *state, return state; QualType T = cast<TypedRegion>(R)->getValueType(R->getContext()); - SVal V = ValMgr.getConjuredSymbolVal(E, T, Count); + SVal V = ValMgr.getConjuredSymbolVal(R, E, T, Count); return Bind(state, loc::MemRegionVal(R), V); } |
