diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-02-08 16:18:51 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-02-08 16:18:51 +0000 |
commit | 1397663af9dbcc24dbf0e11de43931b3dc08fdbb (patch) | |
tree | 2faba52258a1c9030b653b71072220843482c724 /lib/Checker/PthreadLockChecker.cpp | |
parent | d819f74fb5c2213782a443b432fccec95048ec74 (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.cpp | 10 |
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; |