commit d03eea038271ab3a3be73e11c8fd7852effcf7f7
author Zhongxing Xu <xuzhongxing@gmail.com> Mon Oct 27 09:00:08 2008 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Mon Oct 27 09:00:08 2008 +0000
tree 7e2a42c12c0457af41cbab0c470f4b07199def75
parent 9d72851fec9e9c62570a027d42701562bbf29751

Only loc::MemRegionVal can be modified. This avoids crashing in RegionStore when a function pointer is used as an argument.

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

lib/Analysis/GRSimpleVals.cpp

diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp
index a2a59f3..48b25a7 100644
--- a/lib/Analysis/GRSimpleVals.cpp
+++ b/lib/Analysis/GRSimpleVals.cpp
@@ -369,7 +369,7 @@
 
     SVal V = StateMgr.GetSVal(St, *I);
     
-    if (isa<Loc>(V))
+    if (isa<loc::MemRegionVal>(V))
       St = StateMgr.SetSVal(St, cast<Loc>(V), UnknownVal());
     else if (isa<nonloc::LocAsInteger>(V))
       St = StateMgr.SetSVal(St, cast<nonloc::LocAsInteger>(V).getLoc(),