From f6c9f42966f1c709b71c4f52a1f56557846a12d4 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 3 Jul 2009 00:36:16 +0000 Subject: [PATCH] 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 --- lib/Analysis/BasicStore.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); } -- 2.40.0