diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-04-10 18:11:44 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-04-10 18:11:44 +0000 |
commit | ffe4ad67951edf91fbd25752255d613f2aef131a (patch) | |
tree | 579865ca806fd1466a933241d7460a19156af8cc /clang/lib/Analysis/SVals.cpp | |
parent | f1f47a688da27c51f531dac48a9e012e7251ee42 (diff) | |
download | bcm5719-llvm-ffe4ad67951edf91fbd25752255d613f2aef131a.tar.gz bcm5719-llvm-ffe4ad67951edf91fbd25752255d613f2aef131a.zip |
Move a few more NonLoc static functions to ValueManager.
llvm-svn: 68800
Diffstat (limited to 'clang/lib/Analysis/SVals.cpp')
-rw-r--r-- | clang/lib/Analysis/SVals.cpp | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/clang/lib/Analysis/SVals.cpp b/clang/lib/Analysis/SVals.cpp index 572d5ec5558..87a1073f23c 100644 --- a/clang/lib/Analysis/SVals.cpp +++ b/clang/lib/Analysis/SVals.cpp @@ -218,12 +218,12 @@ SVal ValueManager::makeZeroVal(QualType T) { // Utility methods for constructing Non-Locs. //===----------------------------------------------------------------------===// -NonLoc NonLoc::MakeVal(SymbolRef sym) { +NonLoc ValueManager::makeNonLoc(SymbolRef sym) { return nonloc::SymbolVal(sym); } -NonLoc NonLoc::MakeVal(SymbolManager& SymMgr, const SymExpr *lhs, - BinaryOperator::Opcode op, const APSInt& v, QualType T) { +NonLoc ValueManager::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, + const APSInt& v, QualType T) { // The Environment ensures we always get a persistent APSInt in // BasicValueFactory, so we don't need to get the APSInt from // BasicValueFactory again. @@ -231,9 +231,8 @@ NonLoc NonLoc::MakeVal(SymbolManager& SymMgr, const SymExpr *lhs, return nonloc::SymExprVal(SymMgr.getSymIntExpr(lhs, op, v, T)); } -NonLoc NonLoc::MakeVal(SymbolManager& SymMgr, const SymExpr *lhs, - BinaryOperator::Opcode op, const SymExpr *rhs, -QualType T) { +NonLoc ValueManager::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, + const SymExpr *rhs, QualType T) { assert(SymMgr.getType(lhs) == SymMgr.getType(rhs)); assert(!Loc::IsLocType(T)); return nonloc::SymExprVal(SymMgr.getSymSymExpr(lhs, op, rhs, T)); @@ -294,7 +293,7 @@ SVal ValueManager::getRValueSymbolVal(const MemRegion* R) { // Only handle integers for now. if (T->isIntegerType() && T->isScalarType()) - return NonLoc::MakeVal(sym); + return makeNonLoc(sym); } return UnknownVal(); @@ -314,7 +313,7 @@ SVal ValueManager::getConjuredSymbolVal(const Expr* E, unsigned Count) { return Loc::MakeVal(MemMgr.getSymbolicRegion(sym)); if (T->isIntegerType() && T->isScalarType()) - return NonLoc::MakeVal(sym); + return makeNonLoc(sym); return UnknownVal(); } @@ -334,7 +333,7 @@ SVal ValueManager::getConjuredSymbolVal(const Expr* E, QualType T, return Loc::MakeVal(MemMgr.getSymbolicRegion(sym)); if (T->isIntegerType() && T->isScalarType()) - return NonLoc::MakeVal(sym); + return makeNonLoc(sym); return UnknownVal(); } |