85   typedef void (PthreadLockChecker::*FnCheck)(const CallEvent &Call,
209   void InitAnyLock(const CallEvent &Call, CheckerContext &C,
211   void InitLockAux(const CallEvent &Call, CheckerContext &C,
216   void AcquirePthreadLock(const CallEvent &Call, CheckerContext &C,
218   void AcquireXNULock(const CallEvent &Call, CheckerContext &C,
220   void TryPthreadLock(const CallEvent &Call, CheckerContext &C,
222   void TryXNULock(const CallEvent &Call, CheckerContext &C,
224   void TryFuchsiaLock(const CallEvent &Call, CheckerContext &C,
226   void TryC11Lock(const CallEvent &Call, CheckerContext &C,
228   void AcquireLockAux(const CallEvent &Call, CheckerContext &C,
233   void ReleaseAnyLock(const CallEvent &Call, CheckerContext &C,
235   void ReleaseLockAux(const CallEvent &Call, CheckerContext &C,
240   void DestroyPthreadLock(const CallEvent &Call, CheckerContext &C,
242   void DestroyXNULock(const CallEvent &Call, CheckerContext &C,
244   void DestroyLockAux(const CallEvent &Call, CheckerContext &C,
249   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
255                      const LocationContext *LCtx, const CallEvent *Call) const;
292 void PthreadLockChecker::checkPostCall(const CallEvent &Call,  in REGISTER_LIST_WITH_PROGRAMSTATE()
299   if (const FnCheck *Callback = PThreadCallbacks.lookup(Call))  in REGISTER_LIST_WITH_PROGRAMSTATE()
300     (this->**Callback)(Call, C, CK_PthreadLockChecker);  in REGISTER_LIST_WITH_PROGRAMSTATE()
301   else if (const FnCheck *Callback = FuchsiaCallbacks.lookup(Call))  in REGISTER_LIST_WITH_PROGRAMSTATE()
302     (this->**Callback)(Call, C, CK_FuchsiaLockChecker);  in REGISTER_LIST_WITH_PROGRAMSTATE()
303   else if (const FnCheck *Callback = C11Callbacks.lookup(Call))  in REGISTER_LIST_WITH_PROGRAMSTATE()
304     (this->**Callback)(Call, C, CK_C11LockChecker);  in REGISTER_LIST_WITH_PROGRAMSTATE()
308 // sure if the destroy call has succeeded or failed, and the lock enters one of
311 // destroyed. Before we model the next operation over that lock, we call this
385 void PthreadLockChecker::AcquirePthreadLock(const CallEvent &Call,  in AcquirePthreadLock()  argument
388   AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false,  in AcquirePthreadLock()
392 void PthreadLockChecker::AcquireXNULock(const CallEvent &Call,  in AcquireXNULock()  argument
395   AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false,  in AcquireXNULock()
399 void PthreadLockChecker::TryPthreadLock(const CallEvent &Call,  in TryPthreadLock()  argument
402   AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true,  in TryPthreadLock()
406 void PthreadLockChecker::TryXNULock(const CallEvent &Call, CheckerContext &C,  in TryXNULock()  argument
408   AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true,  in TryXNULock()
412 void PthreadLockChecker::TryFuchsiaLock(const CallEvent &Call,  in TryFuchsiaLock()  argument
415   AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true,  in TryFuchsiaLock()
419 void PthreadLockChecker::TryC11Lock(const CallEvent &Call, CheckerContext &C,  in TryC11Lock()  argument
421   AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true,  in TryC11Lock()
425 void PthreadLockChecker::AcquireLockAux(const CallEvent &Call,  in AcquireLockAux()  argument
457     SVal RetVal = Call.getReturnValue();  in AcquireLockAux()
477     SVal RetVal = Call.getReturnValue();  in AcquireLockAux()
498 void PthreadLockChecker::ReleaseAnyLock(const CallEvent &Call,  in ReleaseAnyLock()  argument
501   ReleaseLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind);  in ReleaseAnyLock()
504 void PthreadLockChecker::ReleaseLockAux(const CallEvent &Call,  in ReleaseLockAux()  argument
550 void PthreadLockChecker::DestroyPthreadLock(const CallEvent &Call,  in DestroyPthreadLock()  argument
553   DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0),  in DestroyPthreadLock()
557 void PthreadLockChecker::DestroyXNULock(const CallEvent &Call,  in DestroyXNULock()  argument
560   DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), XNUSemantics,  in DestroyXNULock()
564 void PthreadLockChecker::DestroyLockAux(const CallEvent &Call,  in DestroyLockAux()  argument
587       SymbolRef sym = Call.getReturnValue().getAsSymbol();  in DestroyLockAux()
618 void PthreadLockChecker::InitAnyLock(const CallEvent &Call, CheckerContext &C,  in InitAnyLock()  argument
620   InitLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind);  in InitAnyLock()
623 void PthreadLockChecker::InitLockAux(const CallEvent &Call, CheckerContext &C,  in InitLockAux()  argument
698     const CallEvent *Call) const {  in checkRegionChanges()
701   if (Call && Call->isGlobalCFunction()) {  in checkRegionChanges()
703     if (PThreadCallbacks.lookup(*Call) || FuchsiaCallbacks.lookup(*Call) ||  in checkRegionChanges()
704         C11Callbacks.lookup(*Call))  in checkRegionChanges()
707     if (Call->isInSystemHeader())  in checkRegionChanges()