diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-07-29 00:28:43 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-07-29 00:28:43 +0000 |
| commit | 7f904e8ad5c0d09a5bdc3b0e1f276866e6460c08 (patch) | |
| tree | ed06d4262fde22e3192b6bc4a8f7a8d97ca259cb /clang/lib/Checker | |
| parent | ab178fa6780c7e1058a6f655cf526ff5c0b6108e (diff) | |
| download | bcm5719-llvm-7f904e8ad5c0d09a5bdc3b0e1f276866e6460c08.tar.gz bcm5719-llvm-7f904e8ad5c0d09a5bdc3b0e1f276866e6460c08.zip | |
Change SymbolManager::canSymbolicate() to return true for RecordTypes.
llvm-svn: 109709
Diffstat (limited to 'clang/lib/Checker')
| -rw-r--r-- | clang/lib/Checker/SymbolManager.cpp | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/clang/lib/Checker/SymbolManager.cpp b/clang/lib/Checker/SymbolManager.cpp index c2b557ea57d..3145f40278f 100644 --- a/clang/lib/Checker/SymbolManager.cpp +++ b/clang/lib/Checker/SymbolManager.cpp @@ -205,7 +205,16 @@ QualType SymbolRegionValue::getType(ASTContext& C) const { SymbolManager::~SymbolManager() {} bool SymbolManager::canSymbolicate(QualType T) { - return Loc::IsLocType(T) || (T->isIntegerType() && T->isScalarType()); + if (Loc::IsLocType(T)) + return true; + + if (T->isIntegerType()) + return T->isScalarType(); + + if (T->isRecordType()) + return true; + + return false; } void SymbolReaper::markLive(SymbolRef sym) { |
