diff options
author | Anna Zaks <ganna@apple.com> | 2011-11-28 20:43:37 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2011-11-28 20:43:37 +0000 |
commit | 426a16d4e5efe7efefe76c405207fb170cabad9f (patch) | |
tree | ad38ac65214423160c5e67386c7838321c44d1d7 /lib/StaticAnalyzer/Core/SValBuilder.cpp | |
parent | 6d387aecab26825587392436f009ea5da5cee092 (diff) |
[analyzer] Minor cleanup of SValBuilder: Comments + code reuse.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@145274 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/SValBuilder.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Core/SValBuilder.cpp | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/lib/StaticAnalyzer/Core/SValBuilder.cpp b/lib/StaticAnalyzer/Core/SValBuilder.cpp index 778a0bf97d..331f5934b5 100644 --- a/lib/StaticAnalyzer/Core/SValBuilder.cpp +++ b/lib/StaticAnalyzer/Core/SValBuilder.cpp @@ -90,23 +90,13 @@ DefinedOrUnknownSVal SValBuilder::getConjuredSymbolVal(const void *symbolTag, const Expr *expr, unsigned count) { QualType T = expr->getType(); - - if (!SymbolManager::canSymbolicate(T)) - return UnknownVal(); - - SymbolRef sym = SymMgr.getConjuredSymbol(expr, count, symbolTag); - - if (Loc::isLocType(T)) - return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); - - return nonloc::SymbolVal(sym); + return getConjuredSymbolVal(symbolTag, expr, T, count); } DefinedOrUnknownSVal SValBuilder::getConjuredSymbolVal(const void *symbolTag, const Expr *expr, QualType type, unsigned count) { - if (!SymbolManager::canSymbolicate(type)) return UnknownVal(); |