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/CStringChecker.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/CStringChecker.cpp')
-rw-r--r-- | clang/lib/Checker/CStringChecker.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/clang/lib/Checker/CStringChecker.cpp b/clang/lib/Checker/CStringChecker.cpp index a75e196e376..c60eca8fc09 100644 --- a/clang/lib/Checker/CStringChecker.cpp +++ b/clang/lib/Checker/CStringChecker.cpp @@ -122,7 +122,7 @@ CStringChecker::AssumeZero(CheckerContext &C, const GRState *state, SVal V, return std::pair<const GRState*, const GRState *>(state, state); ValueManager &ValMgr = C.getValueManager(); - SValuator &SV = ValMgr.getSValuator(); + SValBuilder &SV = ValMgr.getSValBuilder(); DefinedOrUnknownSVal Zero = ValMgr.makeZeroVal(Ty); DefinedOrUnknownSVal ValIsZero = SV.EvalEQ(state, *Val, Zero); @@ -245,7 +245,7 @@ const GRState *CStringChecker::CheckBufferAccess(CheckerContext &C, return NULL; ValueManager &VM = C.getValueManager(); - SValuator &SV = VM.getSValuator(); + SValBuilder &SV = VM.getSValBuilder(); ASTContext &Ctx = C.getASTContext(); QualType SizeTy = Size->getType(); @@ -313,7 +313,7 @@ const GRState *CStringChecker::CheckOverlap(CheckerContext &C, return NULL; ValueManager &VM = state->getStateManager().getValueManager(); - SValuator &SV = VM.getSValuator(); + SValBuilder &SV = VM.getSValBuilder(); ASTContext &Ctx = VM.getContext(); const GRState *stateTrue, *stateFalse; @@ -716,7 +716,7 @@ void CStringChecker::EvalMemcmp(CheckerContext &C, const CallExpr *CE) { const GRState *state = C.getState(); ValueManager &ValMgr = C.getValueManager(); - SValuator &SV = ValMgr.getSValuator(); + SValBuilder &SV = ValMgr.getSValBuilder(); // See if the size argument is zero. SVal SizeVal = state->getSVal(Size); @@ -850,7 +850,7 @@ void CStringChecker::EvalStrcpyCommon(CheckerContext &C, const CallExpr *CE, if (loc::MemRegionVal *DstRegVal = dyn_cast<loc::MemRegionVal>(&DstVal)) { // If the length is known, we can check for an overflow. if (NonLoc *KnownStrLen = dyn_cast<NonLoc>(&StrLen)) { - SValuator &SV = C.getSValuator(); + SValBuilder &SV = C.getSValBuilder(); SVal LastElement = SV.EvalBinOpLN(state, BO_Add, *DstRegVal, *KnownStrLen, |