commit 646547c4caf7c478b80bc74c631ab18a5f4cf1a4
author Zhongxing Xu <xuzhongxing@gmail.com> Sun Jun 28 10:16:11 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Sun Jun 28 10:16:11 2009 +0000
tree e260bee8a44df6394ab323a94a55decbe1d195e7
parent e361a9ace8b51f19dc49ba1fed08a21cecf6a8b3

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

lib/Analysis/BasicStore.cpp

diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp
index 44831f6..7210d2c 100644
--- a/lib/Analysis/BasicStore.cpp
+++ b/lib/Analysis/BasicStore.cpp
@@ -319,6 +319,9 @@
 }
   
 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();