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 | 846eabd187be4bfe992e8bca131166b734d86e0d (patch) | |
| tree | 665d8a86d76612f2b117ca9c6fd53e4f1f146105 /lib/Checker/GRState.cpp | |
| parent | 2ab03034925829614eb9ed186d0a4fb6f8e2b69a (diff) | |
Rename 'SValuator' to 'SValBuilder'. The new name
reflects what the class actually does.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@120605 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/GRState.cpp')
| -rw-r--r-- | lib/Checker/GRState.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Checker/GRState.cpp b/lib/Checker/GRState.cpp index 86b6f81658..4a55cee1e2 100644 --- a/lib/Checker/GRState.cpp +++ b/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. |