82   void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
87   void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock,
90   void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const;
91   void DestroyLock(CheckerContext &C, const CallExpr *CE, SVal Lock,
93   void InitLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;
94   void reportUseDestroyedBug(CheckerContext &C, const CallExpr *CE) const;
110 void PthreadLockChecker::checkPostStmt(const CallExpr *CE,  in REGISTER_LIST_WITH_PROGRAMSTATE()
112   StringRef FName = C.getCalleeName(CE);  in REGISTER_LIST_WITH_PROGRAMSTATE()
116   if (CE->getNumArgs() != 1 && CE->getNumArgs() != 2)  in REGISTER_LIST_WITH_PROGRAMSTATE()
122     AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, PthreadSemantics);  in REGISTER_LIST_WITH_PROGRAMSTATE()
126     AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, XNUSemantics);  in REGISTER_LIST_WITH_PROGRAMSTATE()
130     AcquireLock(C, CE, C.getSVal(CE->getArg(0)),  in REGISTER_LIST_WITH_PROGRAMSTATE()
135     AcquireLock(C, CE, C.getSVal(CE->getArg(0)), true, XNUSemantics);  in REGISTER_LIST_WITH_PROGRAMSTATE()
140     ReleaseLock(C, CE, C.getSVal(CE->getArg(0)));  in REGISTER_LIST_WITH_PROGRAMSTATE()
142     DestroyLock(C, CE, C.getSVal(CE->getArg(0)), PthreadSemantics);  in REGISTER_LIST_WITH_PROGRAMSTATE()
144     DestroyLock(C, CE, C.getSVal(CE->getArg(0)), XNUSemantics);  in REGISTER_LIST_WITH_PROGRAMSTATE()
146     InitLock(C, CE, C.getSVal(CE->getArg(0)));  in REGISTER_LIST_WITH_PROGRAMSTATE()
217 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,  in AcquireLock()  argument
230   SVal X = C.getSVal(CE);  in AcquireLock()
246       report->addRange(CE->getArg(0)->getSourceRange());  in AcquireLock()
250       reportUseDestroyedBug(C, CE);  in AcquireLock()
289 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,  in ReleaseLock()  argument
311       Report->addRange(CE->getArg(0)->getSourceRange());  in ReleaseLock()
315       reportUseDestroyedBug(C, CE);  in ReleaseLock()
335       report->addRange(CE->getArg(0)->getSourceRange());  in ReleaseLock()
347 void PthreadLockChecker::DestroyLock(CheckerContext &C, const CallExpr *CE,  in DestroyLock()  argument
366       SymbolRef sym = C.getSVal(CE).getAsSymbol();  in DestroyLock()
404   Report->addRange(CE->getArg(0)->getSourceRange());  in DestroyLock()
408 void PthreadLockChecker::InitLock(CheckerContext &C, const CallExpr *CE,  in InitLock()  argument
443   Report->addRange(CE->getArg(0)->getSourceRange());  in InitLock()
448                                                const CallExpr *CE) const {  in reportUseDestroyedBug()
457   Report->addRange(CE->getArg(0)->getSourceRange());  in reportUseDestroyedBug()