commit 9d0bb1e366e0bbcf70417bdbc7b36e20202a676c
author Ted Kremenek <kremenek@apple.com> Wed Dec 01 21:28:31 2010 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Dec 01 21:28:31 2010 +0000
tree 65147afce8b083f4240780575a1cb97895791056
parent 30eb6c7e7100bb5b9a41d792cda0a30c65ca9655

Rename 'SValuator' to 'SValBuilder'.  The new name
reflects what the class actually does.

llvm-svn: 120605

clang/lib/Checker/OSAtomicChecker.cpp

diff --git a/clang/lib/Checker/OSAtomicChecker.cpp b/clang/lib/Checker/OSAtomicChecker.cpp
index 02de0a8..15989ecd 100644
--- a/clang/lib/Checker/OSAtomicChecker.cpp
+++ b/clang/lib/Checker/OSAtomicChecker.cpp
@@ -142,10 +142,10 @@
     DefinedOrUnknownSVal oldValueVal =
       cast<DefinedOrUnknownSVal>(oldValueVal_untested);
 
-    SValuator &SVator = Engine.getSValuator();
+    SValBuilder &svalBuilder = Engine.getSValBuilder();
 
     // Perform the comparison.
-    DefinedOrUnknownSVal Cmp = SVator.EvalEQ(stateLoad,theValueVal,oldValueVal);
+    DefinedOrUnknownSVal Cmp = svalBuilder.EvalEQ(stateLoad,theValueVal,oldValueVal);
 
     const GRState *stateEqual = stateLoad->Assume(Cmp, true);
 
@@ -158,7 +158,7 @@
       // Handle implicit value casts.
       if (const TypedRegion *R =
           dyn_cast_or_null<TypedRegion>(location.getAsRegion())) {
-        val = SVator.EvalCast(val,R->getValueType(), newValueExpr->getType());
+        val = svalBuilder.EvalCast(val,R->getValueType(), newValueExpr->getType());
       }
 
       Engine.EvalStore(TmpStore, NULL, theValueExpr, N,