36   void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
38   void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock,
41   void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const;
57 void PthreadLockChecker::checkPostStmt(const CallExpr *CE,  in checkPostStmt()  argument
61   StringRef FName = C.getCalleeName(CE);  in checkPostStmt()
65   if (CE->getNumArgs() != 1)  in checkPostStmt()
71     AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),  in checkPostStmt()
76     AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),  in checkPostStmt()
81     AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),  in checkPostStmt()
86     AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),  in checkPostStmt()
92     ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));  in checkPostStmt()
95 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,  in AcquireLock()  argument
105   SVal X = state->getSVal(CE, C.getLocationContext());  in AcquireLock()
120     report->addRange(CE->getArg(0)->getSourceRange());  in AcquireLock()
158 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,  in ReleaseLock()  argument
185     report->addRange(CE->getArg(0)->getSourceRange());  in ReleaseLock()