diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-06-28 10:16:11 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-06-28 10:16:11 +0000 |
| commit | 87453d1c39df791fb98618f6ba34b2edaae880e1 (patch) | |
| tree | e260bee8a44df6394ab323a94a55decbe1d195e7 /lib/Analysis/BasicStore.cpp | |
| parent | c2a650aa946458a8a8bee4d59a912e03dc6f4577 (diff) | |
Do not crash on binding concrete integer location.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74407 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | lib/Analysis/BasicStore.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp index 44831f68e6..7210d2c679 100644 --- a/lib/Analysis/BasicStore.cpp +++ b/lib/Analysis/BasicStore.cpp @@ -319,6 +319,9 @@ SVal BasicStoreManager::Retrieve(const GRState *state, Loc loc, QualType T) { } Store BasicStoreManager::BindInternal(Store store, Loc loc, SVal V) { + if (isa<loc::ConcreteInt>(loc)) + return store; + const MemRegion* R = cast<loc::MemRegionVal>(loc).getRegion(); ASTContext &C = StateMgr.getContext(); |