commit 90af90967a7cfb349f105873997e0488111ec14a
author Ted Kremenek <kremenek@apple.com> Thu Dec 02 07:49:45 2010 +0000
committer Ted Kremenek <kremenek@apple.com> Thu Dec 02 07:49:45 2010 +0000
tree cce87540db9ef8e78ffc34f739ade82c303826e0
parent 4375586bd907530a429029e41cd31602e3456ea8

Merge ValueManager into SValBuilder.

llvm-svn: 120696

clang/lib/Checker/OSAtomicChecker.cpp

diff --git a/clang/lib/Checker/OSAtomicChecker.cpp b/clang/lib/Checker/OSAtomicChecker.cpp
index c536ce6..181f406 100644
--- a/clang/lib/Checker/OSAtomicChecker.cpp
+++ b/clang/lib/Checker/OSAtomicChecker.cpp
@@ -182,7 +182,7 @@
         SVal Res = UnknownVal();
         QualType T = CE->getType();
         if (!T->isVoidType())
-          Res = Engine.getValueManager().makeTruthVal(true, T);
+          Res = Engine.getSValBuilder().makeTruthVal(true, T);
         C.GenerateNode(stateNew->BindExpr(CE, Res), predNew);
       }
     }
@@ -193,7 +193,7 @@
       SVal Res = UnknownVal();
       QualType T = CE->getType();
       if (!T->isVoidType())
-        Res = Engine.getValueManager().makeTruthVal(false, CE->getType());
+        Res = Engine.getSValBuilder().makeTruthVal(false, CE->getType());
       C.GenerateNode(stateNotEqual->BindExpr(CE, Res), N);
     }
   }