From: Ted Kremenek <kremenek@apple.com>
Date: Fri, 3 Jul 2009 00:36:16 +0000 (+0000)
Subject: BasicStoreManager: Use SymbolManager::canSymbolicate() to determine if a variable... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f6c9f42966f1c709b71c4f52a1f56557846a12d4;p=clang

BasicStoreManager: Use SymbolManager::canSymbolicate() to determine if a variable can be symbolicated.


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

diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp
index ccaffc3627..19d641ee97 100644
--- a/lib/Analysis/BasicStore.cpp
+++ b/lib/Analysis/BasicStore.cpp
@@ -584,7 +584,7 @@ Store BasicStoreManager::BindDeclInternal(Store store, const VarDecl* VD,
   } else {
     // Process local scalar variables.
     QualType T = VD->getType();
-    if (Loc::IsLocType(T) || T->isIntegerType()) {
+    if (ValMgr.getSymbolManager().canSymbolicate(T)) {
       SVal V = InitVal ? *InitVal : UndefinedVal();
       store = BindInternal(store, getLoc(VD), V);
     }