64   void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
66   void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock,
69   void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const;
70   void DestroyLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;
71   void InitLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;
72   void reportUseDestroyedBug(CheckerContext &C, const CallExpr *CE) const;
81 void PthreadLockChecker::checkPostStmt(const CallExpr *CE,  in REGISTER_LIST_WITH_PROGRAMSTATE()
85   StringRef FName = C.getCalleeName(CE);  in REGISTER_LIST_WITH_PROGRAMSTATE()
89   if (CE->getNumArgs() != 1 && CE->getNumArgs() != 2)  in REGISTER_LIST_WITH_PROGRAMSTATE()
95     AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),  in REGISTER_LIST_WITH_PROGRAMSTATE()
100     AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),  in REGISTER_LIST_WITH_PROGRAMSTATE()
105     AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),  in REGISTER_LIST_WITH_PROGRAMSTATE()
110     AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),  in REGISTER_LIST_WITH_PROGRAMSTATE()
116     ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));  in REGISTER_LIST_WITH_PROGRAMSTATE()
119     DestroyLock(C, CE, state->getSVal(CE->getArg(0), LCtx));  in REGISTER_LIST_WITH_PROGRAMSTATE()
121     InitLock(C, CE, state->getSVal(CE->getArg(0), LCtx));  in REGISTER_LIST_WITH_PROGRAMSTATE()
124 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,  in AcquireLock()  argument
134   SVal X = state->getSVal(CE, C.getLocationContext());  in AcquireLock()
151       report->addRange(CE->getArg(0)->getSourceRange());  in AcquireLock()
155       reportUseDestroyedBug(C, CE);  in AcquireLock()
194 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,  in ReleaseLock()  argument
214       Report->addRange(CE->getArg(0)->getSourceRange());  in ReleaseLock()
218       reportUseDestroyedBug(C, CE);  in ReleaseLock()
240       report->addRange(CE->getArg(0)->getSourceRange());  in ReleaseLock()
252 void PthreadLockChecker::DestroyLock(CheckerContext &C, const CallExpr *CE,  in DestroyLock()  argument
283   Report->addRange(CE->getArg(0)->getSourceRange());  in DestroyLock()
287 void PthreadLockChecker::InitLock(CheckerContext &C, const CallExpr *CE,  in InitLock()  argument
318   Report->addRange(CE->getArg(0)->getSourceRange());  in InitLock()
323                                                const CallExpr *CE) const {  in reportUseDestroyedBug()
333   Report->addRange(CE->getArg(0)->getSourceRange());  in reportUseDestroyedBug()