diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-12-01 21:28:31 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-12-01 21:28:31 +0000 |
commit | 9d0bb1e366e0bbcf70417bdbc7b36e20202a676c (patch) | |
tree | 65147afce8b083f4240780575a1cb97895791056 /clang/lib/Checker/RegionStore.cpp | |
parent | 30eb6c7e7100bb5b9a41d792cda0a30c65ca9655 (diff) | |
download | bcm5719-llvm-9d0bb1e366e0bbcf70417bdbc7b36e20202a676c.tar.gz bcm5719-llvm-9d0bb1e366e0bbcf70417bdbc7b36e20202a676c.zip |
Rename 'SValuator' to 'SValBuilder'. The new name
reflects what the class actually does.
llvm-svn: 120605
Diffstat (limited to 'clang/lib/Checker/RegionStore.cpp')
-rw-r--r-- | clang/lib/Checker/RegionStore.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/clang/lib/Checker/RegionStore.cpp b/clang/lib/Checker/RegionStore.cpp index ae0dedff393..cde8ab978db 100644 --- a/clang/lib/Checker/RegionStore.cpp +++ b/clang/lib/Checker/RegionStore.cpp @@ -756,8 +756,8 @@ DefinedOrUnknownSVal RegionStoreManager::getSizeInElements(const GRState *state, const MemRegion *R, QualType EleTy) { SVal Size = cast<SubRegion>(R)->getExtent(ValMgr); - SValuator &SVator = ValMgr.getSValuator(); - const llvm::APSInt *SizeInt = SVator.getKnownValue(state, Size); + SValBuilder &svalBuilder = ValMgr.getSValBuilder(); + const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size); if (!SizeInt) return UnknownVal(); @@ -911,7 +911,7 @@ SVal RegionStoreManager::EvalBinOp(BinaryOperator::Opcode Op, Loc L, NonLoc R, // (b) 0 + symbolic index if (Base) { if (nonloc::ConcreteInt *Offset = dyn_cast<nonloc::ConcreteInt>(&R)) { - // FIXME: Should use SValuator here. + // FIXME: Should use SValBuilder here. SVal NewIdx = Base->evalBinOp(ValMgr, Op, cast<nonloc::ConcreteInt>(ValMgr.convertToArrayIndex(*Offset))); @@ -1307,8 +1307,8 @@ SVal RegionStoreManager::RetrieveVar(Store store, const VarRegion *R) { if (const IntegerLiteral *IL = dyn_cast<IntegerLiteral>(Init->IgnoreParenCasts())) { const nonloc::ConcreteInt &V = ValMgr.makeIntVal(IL); - return ValMgr.getSValuator().EvalCast(V, Init->getType(), - IL->getType()); + return ValMgr.getSValBuilder().EvalCast(V, Init->getType(), + IL->getType()); } } |