diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-07-03 00:36:16 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-07-03 00:36:16 +0000 |
| commit | 24c8513022f5d50afdc94b49eea68ecd89998af7 (patch) | |
| tree | 66b08d205ae283f88dbefb7305ef9e18745c0b00 /clang/lib/Analysis/BasicStore.cpp | |
| parent | 6d9041100b39e87f1f87f0e6dc9a5864e366f3ce (diff) | |
| download | bcm5719-llvm-24c8513022f5d50afdc94b49eea68ecd89998af7.tar.gz bcm5719-llvm-24c8513022f5d50afdc94b49eea68ecd89998af7.zip | |
BasicStoreManager: Use SymbolManager::canSymbolicate() to determine if a variable can be symbolicated.
llvm-svn: 74750
Diffstat (limited to 'clang/lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | clang/lib/Analysis/BasicStore.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/Analysis/BasicStore.cpp b/clang/lib/Analysis/BasicStore.cpp index ccaffc3627d..19d641ee975 100644 --- a/clang/lib/Analysis/BasicStore.cpp +++ b/clang/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); } |
