diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-12-02 07:49:45 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-12-02 07:49:45 +0000 |
| commit | c8413fd03f73084a5c93028f8b4db619fc388087 (patch) | |
| tree | 0815a7cb0b9c477e280a91e4c89713488e43f7f2 /lib/Checker/SVals.cpp | |
| parent | 0608f53744ccf88c4d21d6b500f6d23927533ac9 (diff) | |
Merge ValueManager into SValBuilder.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@120696 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/SVals.cpp')
| -rw-r--r-- | lib/Checker/SVals.cpp | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/lib/Checker/SVals.cpp b/lib/Checker/SVals.cpp index b0eeca81e0..5d131ee198 100644 --- a/lib/Checker/SVals.cpp +++ b/lib/Checker/SVals.cpp @@ -221,11 +221,11 @@ bool SVal::isZeroConstant() const { // Transfer function dispatch for Non-Locs. //===----------------------------------------------------------------------===// -SVal nonloc::ConcreteInt::evalBinOp(ValueManager &ValMgr, +SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op, const nonloc::ConcreteInt& R) const { const llvm::APSInt* X = - ValMgr.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue()); + svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue()); if (X) return nonloc::ConcreteInt(*X); @@ -234,12 +234,13 @@ SVal nonloc::ConcreteInt::evalBinOp(ValueManager &ValMgr, } nonloc::ConcreteInt -nonloc::ConcreteInt::evalComplement(ValueManager &ValMgr) const { - return ValMgr.makeIntVal(~getValue()); +nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const { + return svalBuilder.makeIntVal(~getValue()); } -nonloc::ConcreteInt nonloc::ConcreteInt::evalMinus(ValueManager &ValMgr) const { - return ValMgr.makeIntVal(-getValue()); +nonloc::ConcreteInt +nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const { + return svalBuilder.makeIntVal(-getValue()); } //===----------------------------------------------------------------------===// |