commit 69aac369c3e95002ddd2a04eb056f17b5ffad6f6
author Zhongxing Xu <xuzhongxing@gmail.com> Thu Feb 19 09:56:08 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Thu Feb 19 09:56:08 2009 +0000
tree 480ca215fb8b2df1d384f9ec39cf8ea3f49cde28
parent 837707e52ad2496ff5c3b959a456da397e4b5269

only track integer and pointer values for now.

llvm-svn: 65041

clang/lib/Analysis/RegionStore.cpp

diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp
index 58d8670..fe0ae17 100644
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@@ -620,8 +620,13 @@
   if (const VarRegion* VR = dyn_cast<VarRegion>(R)) {
     const VarDecl *VD = VR->getDecl();
     
-    if (isa<ParmVarDecl>(VD))
-      return SVal::GetRValueSymbolVal(getSymbolManager(), VR);
+    if (isa<ParmVarDecl>(VD) || VD->hasGlobalStorage()) {
+      QualType VTy = VD->getType();
+      if (Loc::IsLocType(VTy) || VTy->isIntegerType())
+        return SVal::GetRValueSymbolVal(getSymbolManager(), VR);
+      else
+        return UnknownVal();
+    }
     else if (VD == SelfDecl)
       return loc::MemRegionVal(getSelfRegion(0));
   }