71 class PthreadLockChecker : public Checker<check::PostCall, check::DeadSymbols,  class
85   typedef void (PthreadLockChecker::*FnCheck)(const CallEvent &Call,
91        &PthreadLockChecker::InitAnyLock},
100        &PthreadLockChecker::AcquirePthreadLock},
102        &PthreadLockChecker::AcquirePthreadLock},
104        &PthreadLockChecker::AcquirePthreadLock},
106        &PthreadLockChecker::AcquireXNULock},
108        &PthreadLockChecker::AcquireXNULock},
110        &PthreadLockChecker::AcquireXNULock},
114        &PthreadLockChecker::TryPthreadLock},
116        &PthreadLockChecker::TryPthreadLock},
118        &PthreadLockChecker::TryPthreadLock},
120        &PthreadLockChecker::TryXNULock},
122        &PthreadLockChecker::TryXNULock},
124        &PthreadLockChecker::TryXNULock},
128        &PthreadLockChecker::ReleaseAnyLock},
130        &PthreadLockChecker::ReleaseAnyLock},
132        &PthreadLockChecker::ReleaseAnyLock},
134        &PthreadLockChecker::ReleaseAnyLock},
136        &PthreadLockChecker::ReleaseAnyLock},
138        &PthreadLockChecker::ReleaseAnyLock},
142        &PthreadLockChecker::DestroyPthreadLock},
144        &PthreadLockChecker::DestroyXNULock},
152        &PthreadLockChecker::InitAnyLock},
156        &PthreadLockChecker::AcquirePthreadLock},
158        &PthreadLockChecker::AcquirePthreadLock},
160        &PthreadLockChecker::AcquirePthreadLock},
162        &PthreadLockChecker::AcquirePthreadLock},
166        &PthreadLockChecker::TryFuchsiaLock},
168        &PthreadLockChecker::TryFuchsiaLock},
170        &PthreadLockChecker::TryFuchsiaLock},
174        &PthreadLockChecker::ReleaseAnyLock},
176        &PthreadLockChecker::ReleaseAnyLock},
178        &PthreadLockChecker::ReleaseAnyLock},
183       {{CDM::CLibrary, {"mtx_init"}, 2}, &PthreadLockChecker::InitAnyLock},
187        &PthreadLockChecker::AcquirePthreadLock},
190       {{CDM::CLibrary, {"mtx_trylock"}, 1}, &PthreadLockChecker::TryC11Lock},
191       {{CDM::CLibrary, {"mtx_timedlock"}, 2}, &PthreadLockChecker::TryC11Lock},
194       {{CDM::CLibrary, {"mtx_unlock"}, 1}, &PthreadLockChecker::ReleaseAnyLock},
198        &PthreadLockChecker::DestroyPthreadLock},
292 void PthreadLockChecker::checkPostCall(const CallEvent &Call,  in REGISTER_LIST_WITH_PROGRAMSTATE()
317 ProgramStateRef PthreadLockChecker::resolvePossiblyDestroyedMutex(  in resolvePossiblyDestroyedMutex()
343 void PthreadLockChecker::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
385 void PthreadLockChecker::AcquirePthreadLock(const CallEvent &Call,  in AcquirePthreadLock()
392 void PthreadLockChecker::AcquireXNULock(const CallEvent &Call,  in AcquireXNULock()
399 void PthreadLockChecker::TryPthreadLock(const CallEvent &Call,  in TryPthreadLock()
406 void PthreadLockChecker::TryXNULock(const CallEvent &Call, CheckerContext &C,  in TryXNULock()
412 void PthreadLockChecker::TryFuchsiaLock(const CallEvent &Call,  in TryFuchsiaLock()
419 void PthreadLockChecker::TryC11Lock(const CallEvent &Call, CheckerContext &C,  in TryC11Lock()
425 void PthreadLockChecker::AcquireLockAux(const CallEvent &Call,  in AcquireLockAux()
498 void PthreadLockChecker::ReleaseAnyLock(const CallEvent &Call,  in ReleaseAnyLock()
504 void PthreadLockChecker::ReleaseLockAux(const CallEvent &Call,  in ReleaseLockAux()
550 void PthreadLockChecker::DestroyPthreadLock(const CallEvent &Call,  in DestroyPthreadLock()
557 void PthreadLockChecker::DestroyXNULock(const CallEvent &Call,  in DestroyXNULock()
564 void PthreadLockChecker::DestroyLockAux(const CallEvent &Call,  in DestroyLockAux()
618 void PthreadLockChecker::InitAnyLock(const CallEvent &Call, CheckerContext &C,  in InitAnyLock()
623 void PthreadLockChecker::InitLockAux(const CallEvent &Call, CheckerContext &C,  in InitLockAux()
653 void PthreadLockChecker::reportBug(CheckerContext &C,  in reportBug()
667 void PthreadLockChecker::checkDeadSymbols(SymbolReaper &SymReaper,  in checkDeadSymbols()
694 ProgramStateRef PthreadLockChecker::checkRegionChanges(  in checkRegionChanges()
730   mgr.registerChecker<PthreadLockChecker>();  in registerPthreadLockBase()
737     PthreadLockChecker *checker = mgr.getChecker<PthreadLockChecker>();        \
738     checker->ChecksEnabled[PthreadLockChecker::CK_##name] = true;              \
739     checker->CheckNames[PthreadLockChecker::CK_##name] =                       \
745 REGISTER_CHECKER(PthreadLockChecker)