maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Change SymbolManager::canSymbolicate() to return true for RecordTypes. 

llvm-svn: 109709
This commit is contained in:
Ted Kremenek 2010-07-29 00:28:43 +00:00
parent ab178fa678
commit 7f904e8ad5
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
clang/lib/Checker/SymbolManager.cpp
View File

@ -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) {