commit 6f8c430a95279ef048a356d6283871477b4ad351
author Zhongxing Xu <xuzhongxing@gmail.com> Mon Feb 08 09:30:02 2010 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Mon Feb 08 09:30:02 2010 +0000
tree c5af9162586f17610d741fc0a5fcdc4ab404e2dc
parent b241cf6f69aeed9f80ec528bc9cb5c9894e6684a

Rename: GRState::getSVal(Stmt*) => getExprVal(),
        GRState::getSVal(MemRegion*) => Load().


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95541 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Checker/PthreadLockChecker.cpp

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