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 | bb902265afe1b4aba0127638f78eea1e632d1593 (patch) | |
| tree | c5e5f2e0ef015c88d76d3bc694d5e0fd7375f44e | |
| parent | 56c89e70fe61fdaa5f5b198424e4a7d4533cacff (diff) | |
| download | bcm5719-llvm-bb902265afe1b4aba0127638f78eea1e632d1593.tar.gz bcm5719-llvm-bb902265afe1b4aba0127638f78eea1e632d1593.zip | |
canSymbolicate() should only return true for integer types that are scalars.
llvm-svn: 77479
| -rw-r--r-- | clang/lib/Analysis/SymbolManager.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/Analysis/SymbolManager.cpp b/clang/lib/Analysis/SymbolManager.cpp index ab1effab2c6..95edbb6dd11 100644 --- a/clang/lib/Analysis/SymbolManager.cpp +++ b/clang/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) { |
