commit d260db1238b56d0e6f04c490e44cddace5702300
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 5db76236478b84cc9969946eb344fea31d0501b2
parent f7a6de3a12545d51f48aebdad39b03720c43a084

Do not crash on binding concrete integer location.

llvm-svn: 74407

clang/lib/Analysis/BasicStore.cpp

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

clang/lib/Analysis/RegionStore.cpp

diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp
index d45048d..6586419 100644
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@@ -1074,6 +1074,9 @@
 }
 
 const GRState *RegionStoreManager::Bind(const GRState *state, Loc L, SVal V) {
+  if (isa<loc::ConcreteInt>(L))
+    return state;
+
   // If we get here, the location should be a region.
   const MemRegion* R = cast<loc::MemRegionVal>(L).getRegion();