From 9d0bb1e366e0bbcf70417bdbc7b36e20202a676c Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 1 Dec 2010 21:28:31 +0000 Subject: Rename 'SValuator' to 'SValBuilder'. The new name reflects what the class actually does. llvm-svn: 120605 --- clang/lib/Checker/CStringChecker.cpp | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'clang/lib/Checker/CStringChecker.cpp') 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(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(&DstVal)) { // If the length is known, we can check for an overflow. if (NonLoc *KnownStrLen = dyn_cast(&StrLen)) { - SValuator &SV = C.getSValuator(); + SValBuilder &SV = C.getSValBuilder(); SVal LastElement = SV.EvalBinOpLN(state, BO_Add, *DstRegVal, *KnownStrLen, -- cgit v1.2.3