aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/PthreadLockChecker.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-02-08 16:18:51 +0000
committerTed Kremenek <kremenek@apple.com>2010-02-08 16:18:51 +0000
commit1397663af9dbcc24dbf0e11de43931b3dc08fdbb (patch)
tree2faba52258a1c9030b653b71072220843482c724 /lib/Checker/PthreadLockChecker.cpp
parentd819f74fb5c2213782a443b432fccec95048ec74 (diff)
Revert 95541.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95545 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/PthreadLockChecker.cpp')
-rw-r--r--lib/Checker/PthreadLockChecker.cpp10
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/Checker/PthreadLockChecker.cpp b/lib/Checker/PthreadLockChecker.cpp
index 35453d13ae..74e266c3ed 100644
--- a/lib/Checker/PthreadLockChecker.cpp
+++ b/lib/Checker/PthreadLockChecker.cpp
@@ -60,7 +60,7 @@ void PthreadLockChecker::PostVisitCallExpr(CheckerContext &C,
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 @@ void PthreadLockChecker::PostVisitCallExpr(CheckerContext &C,
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 @@ void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,
const GRState *state = C.getState();
- SVal X = state->getExprVal(CE);
+ SVal X = state->getSVal(CE);
if (X.isUnknownOrUndef())
return;