commit cde468f1739627b036bbffe5e0e83ac5296af540
author Zhongxing Xu <xuzhongxing@gmail.com> Tue Jun 16 06:18:21 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Tue Jun 16 06:18:21 2009 +0000
tree 7857427f041a02f883bb616a7559c57a1270a07d
parent 37bb2bd63d6a2dfeb4b8f2e07205e501e96e49e1

Do not invalidate unboundable regions in GRSimpleVals::EvalCall().


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73474 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/GRSimpleVals.cpp

diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp
index e1c4848..d8d312f 100644
--- a/lib/Analysis/GRSimpleVals.cpp
+++ b/lib/Analysis/GRSimpleVals.cpp
@@ -365,9 +365,11 @@
 
     SVal V = StateMgr.GetSVal(St, *I);
     
-    if (isa<loc::MemRegionVal>(V))
-      St = StateMgr.BindLoc(St, cast<Loc>(V), UnknownVal());
-    else if (isa<nonloc::LocAsInteger>(V))
+    if (isa<loc::MemRegionVal>(V)) {
+      const MemRegion *R = cast<loc::MemRegionVal>(V).getRegion();
+      if (R->isBoundable(Eng.getContext()))
+	St = StateMgr.BindLoc(St, cast<Loc>(V), UnknownVal());
+    } else if (isa<nonloc::LocAsInteger>(V))
       St = StateMgr.BindLoc(St, cast<nonloc::LocAsInteger>(V).getLoc(),
                             UnknownVal());