diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-07-29 18:12:48 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-07-29 18:12:48 +0000 |
| commit | 4e6e0d70e759bad13a36809b23fd7205c9cc1f91 (patch) | |
| tree | 0ffb881eddfe6e9438145fd88da69d43e2abe1ef /lib/Analysis/SymbolManager.cpp | |
| parent | c447aba04527a71d254b151f79f444d1cbe83ce9 (diff) | |
canSymbolicate() should only return true for integer types that are scalars.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@77479 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/SymbolManager.cpp')
| -rw-r--r-- | lib/Analysis/SymbolManager.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Analysis/SymbolManager.cpp b/lib/Analysis/SymbolManager.cpp index ab1effab2c..95edbb6dd1 100644 --- a/lib/Analysis/SymbolManager.cpp +++ b/lib/Analysis/SymbolManager.cpp @@ -187,7 +187,7 @@ QualType SymbolRegionValue::getType(ASTContext& C) const { SymbolManager::~SymbolManager() {} bool SymbolManager::canSymbolicate(QualType T) { - return Loc::IsLocType(T) || T->isIntegerType(); + return Loc::IsLocType(T) || (T->isIntegerType() && T->isScalarType()); } void SymbolReaper::markLive(SymbolRef sym) { |