commit 57f0989c16ed6fbe003be6f2ad5f3f2e9b7aed0d
author Ted Kremenek <kremenek@apple.com> Mon Feb 08 16:18:51 2010 +0000
committer Ted Kremenek <kremenek@apple.com> Mon Feb 08 16:18:51 2010 +0000
tree 16f05d479b909de2f94fb22f4496b6a5b89b0225
parent d746f0dbd67813e581f5f90b5a90b87dc31e1e9b

Revert 95541.

llvm-svn: 95545

clang/lib/Checker/PthreadLockChecker.cpp

diff --git a/clang/lib/Checker/PthreadLockChecker.cpp b/clang/lib/Checker/PthreadLockChecker.cpp
index 35453d1..74e266c 100644
--- a/clang/lib/Checker/PthreadLockChecker.cpp
+++ b/clang/lib/Checker/PthreadLockChecker.cpp
@@ -60,7 +60,7 @@
   const GRState *state = C.getState();
   const Expr *Callee = CE->getCallee();
   const FunctionTextRegion *R =
-  dyn_cast_or_null<FunctionTextRegion>(state->getExprVal(Callee).getAsRegion());
+    dyn_cast_or_null<FunctionTextRegion>(state->getSVal(Callee).getAsRegion());
   
   if (!R)
     return;
@@ -70,17 +70,17 @@
   if (FName == "pthread_mutex_lock") {
     if (CE->getNumArgs() != 1)
       return;
-    AcquireLock(C, CE, state->getExprVal(CE->getArg(0)), false);
+    AcquireLock(C, CE, state->getSVal(CE->getArg(0)), false);
   }
   else if (FName == "pthread_mutex_trylock") {
     if (CE->getNumArgs() != 1)
       return;
-    AcquireLock(C, CE, state->getExprVal(CE->getArg(0)), true);
+    AcquireLock(C, CE, state->getSVal(CE->getArg(0)), true);
   }  
   else if (FName == "pthread_mutex_unlock") {
     if (CE->getNumArgs() != 1)
       return;
-    ReleaseLock(C, CE, state->getExprVal(CE->getArg(0)));
+    ReleaseLock(C, CE, state->getSVal(CE->getArg(0)));
   }
 }
 
@@ -93,7 +93,7 @@
   
   const GRState *state = C.getState();
   
-  SVal X = state->getExprVal(CE);
+  SVal X = state->getSVal(CE);
   if (X.isUnknownOrUndef())
     return;