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/GRState.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'clang/lib/Checker/GRState.cpp') diff --git a/clang/lib/Checker/GRState.cpp b/clang/lib/Checker/GRState.cpp index 86b6f816589..4a55cee1e29 100644 --- a/clang/lib/Checker/GRState.cpp +++ b/clang/lib/Checker/GRState.cpp @@ -238,10 +238,10 @@ const GRState *GRState::AssumeInBound(DefinedOrUnknownSVal Idx, // Build an expression for 0 <= Idx < UpperBound. // This is the same as Idx + MIN < UpperBound + MIN, if overflow is allowed. - // FIXME: This should probably be part of SValuator. + // FIXME: This should probably be part of SValBuilder. GRStateManager &SM = getStateManager(); ValueManager &VM = SM.getValueManager(); - SValuator &SV = VM.getSValuator(); + SValBuilder &SV = VM.getSValBuilder(); ASTContext &Ctx = VM.getContext(); // Get the offset: the minimum value of the array index type. -- cgit v1.2.3