diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-09-27 20:45:21 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-09-27 20:45:21 +0000 |
| commit | 8780679b02bea5ab6360f3f8ebf3b221aaeda93f (patch) | |
| tree | c9a0f9eb4bc2acdfb1b1f347cd0d2f85deffe238 /lib/Analysis/BasicStore.cpp | |
| parent | 50755b0dcc81eed9dcf27abe9162527013f26bd4 (diff) | |
Fix:
<rdar://problem/6914474> checker doesn't realize that variable might
have been assigned if a pointer to that variable was passed to another
function via a structure
The problem here was the RegionStoreManager::InvalidateRegion didn't
invalidate the bindings of invalidated regions. This required a
rewrite of this method using a worklist.
As part of this fix, changed ValueManager::getConjuredSymbolVal() to
require a 'void*' SymbolTag argument. This tag is used to
differentiate two different symbols created at the same location.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@82920 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | lib/Analysis/BasicStore.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp index 017399f4fb..e2a19cf834 100644 --- a/lib/Analysis/BasicStore.cpp +++ b/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); } |