[cfe-commits] r66419 - /cfe/trunk/lib/Analysis/RegionStore.cpp

[Zhongxing Xu]

Author: zhongxingxu
Date: Mon Mar  9 04:31:22 2009
New Revision: 66419

URL: http://llvm.org/viewvc/llvm-project?rev=66419&view=rev
Log:
Only track integer and pointer values.

Modified:
    cfe/trunk/lib/Analysis/RegionStore.cpp

Modified: cfe/trunk/lib/Analysis/RegionStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/RegionStore.cpp?rev=66419&r1=66418&r2=66419&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/RegionStore.cpp (original)
+++ cfe/trunk/lib/Analysis/RegionStore.cpp Mon Mar  9 04:31:22 2009
@@ -751,8 +751,11 @@
     return UndefinedVal();
   }
 
-  // All other values are symbolic.
-  return SVal::GetRValueSymbolVal(getSymbolManager(), R);
+  // All other integer values are symbolic.
+  if (Loc::IsLocType(RTy) || RTy->isIntegerType())
+    return SVal::GetRValueSymbolVal(getSymbolManager(), R);
+  else
+    return UnknownVal();
 }
 
 SVal RegionStoreManager::RetrieveStruct(const GRState* St,const TypedRegion* R){