only track integer and pointer values for now.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@65041 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index 58d8670..fe0ae17 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/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));
}