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;
49 void PthreadLockChecker::checkPostStmt(const CallExpr *CE,  in REGISTER_LIST_WITH_PROGRAMSTATE()
53   StringRef FName = C.getCalleeName(CE);  in REGISTER_LIST_WITH_PROGRAMSTATE()
57   if (CE->getNumArgs() != 1)  in REGISTER_LIST_WITH_PROGRAMSTATE()
63     AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),  in REGISTER_LIST_WITH_PROGRAMSTATE()
68     AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),  in REGISTER_LIST_WITH_PROGRAMSTATE()
73     AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),  in REGISTER_LIST_WITH_PROGRAMSTATE()
78     AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),  in REGISTER_LIST_WITH_PROGRAMSTATE()
84     ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));  in REGISTER_LIST_WITH_PROGRAMSTATE()
87 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,  in AcquireLock()  argument
97   SVal X = state->getSVal(CE, C.getLocationContext());  in AcquireLock()
112     report->addRange(CE->getArg(0)->getSourceRange());  in AcquireLock()
150 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,  in ReleaseLock()  argument
177     report->addRange(CE->getArg(0)->getSourceRange());  in ReleaseLock()