70 class PthreadLockChecker : public Checker<check::PostCall, check::DeadSymbols,  class
84   typedef void (PthreadLockChecker::*FnCheck)(const CallEvent &Call,
89       {{"pthread_mutex_init", 2}, &PthreadLockChecker::InitAnyLock},
97       {{"pthread_mutex_lock", 1}, &PthreadLockChecker::AcquirePthreadLock},
98       {{"pthread_rwlock_rdlock", 1}, &PthreadLockChecker::AcquirePthreadLock},
99       {{"pthread_rwlock_wrlock", 1}, &PthreadLockChecker::AcquirePthreadLock},
100       {{"lck_mtx_lock", 1}, &PthreadLockChecker::AcquireXNULock},
101       {{"lck_rw_lock_exclusive", 1}, &PthreadLockChecker::AcquireXNULock},
102       {{"lck_rw_lock_shared", 1}, &PthreadLockChecker::AcquireXNULock},
105       {{"pthread_mutex_trylock", 1}, &PthreadLockChecker::TryPthreadLock},
106       {{"pthread_rwlock_tryrdlock", 1}, &PthreadLockChecker::TryPthreadLock},
107       {{"pthread_rwlock_trywrlock", 1}, &PthreadLockChecker::TryPthreadLock},
108       {{"lck_mtx_try_lock", 1}, &PthreadLockChecker::TryXNULock},
109       {{"lck_rw_try_lock_exclusive", 1}, &PthreadLockChecker::TryXNULock},
110       {{"lck_rw_try_lock_shared", 1}, &PthreadLockChecker::TryXNULock},
113       {{"pthread_mutex_unlock", 1}, &PthreadLockChecker::ReleaseAnyLock},
114       {{"pthread_rwlock_unlock", 1}, &PthreadLockChecker::ReleaseAnyLock},
115       {{"lck_mtx_unlock", 1}, &PthreadLockChecker::ReleaseAnyLock},
116       {{"lck_rw_unlock_exclusive", 1}, &PthreadLockChecker::ReleaseAnyLock},
117       {{"lck_rw_unlock_shared", 1}, &PthreadLockChecker::ReleaseAnyLock},
118       {{"lck_rw_done", 1}, &PthreadLockChecker::ReleaseAnyLock},
121       {{"pthread_mutex_destroy", 1}, &PthreadLockChecker::DestroyPthreadLock},
122       {{"lck_mtx_destroy", 2}, &PthreadLockChecker::DestroyXNULock},
129       {{"spin_lock_init", 1}, &PthreadLockChecker::InitAnyLock},
132       {{"spin_lock", 1}, &PthreadLockChecker::AcquirePthreadLock},
133       {{"spin_lock_save", 3}, &PthreadLockChecker::AcquirePthreadLock},
134       {{"sync_mutex_lock", 1}, &PthreadLockChecker::AcquirePthreadLock},
136        &PthreadLockChecker::AcquirePthreadLock},
139       {{"spin_trylock", 1}, &PthreadLockChecker::TryFuchsiaLock},
140       {{"sync_mutex_trylock", 1}, &PthreadLockChecker::TryFuchsiaLock},
141       {{"sync_mutex_timedlock", 2}, &PthreadLockChecker::TryFuchsiaLock},
144       {{"spin_unlock", 1}, &PthreadLockChecker::ReleaseAnyLock},
145       {{"spin_unlock_restore", 3}, &PthreadLockChecker::ReleaseAnyLock},
146       {{"sync_mutex_unlock", 1}, &PthreadLockChecker::ReleaseAnyLock},
151       {{"mtx_init", 2}, &PthreadLockChecker::InitAnyLock},
154       {{"mtx_lock", 1}, &PthreadLockChecker::AcquirePthreadLock},
157       {{"mtx_trylock", 1}, &PthreadLockChecker::TryC11Lock},
158       {{"mtx_timedlock", 2}, &PthreadLockChecker::TryC11Lock},
161       {{"mtx_unlock", 1}, &PthreadLockChecker::ReleaseAnyLock},
164       {{"mtx_destroy", 1}, &PthreadLockChecker::DestroyPthreadLock},
258 void PthreadLockChecker::checkPostCall(const CallEvent &Call,  in REGISTER_LIST_WITH_PROGRAMSTATE()
287 ProgramStateRef PthreadLockChecker::resolvePossiblyDestroyedMutex(  in resolvePossiblyDestroyedMutex()
312 void PthreadLockChecker::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
354 void PthreadLockChecker::AcquirePthreadLock(const CallEvent &Call,  in AcquirePthreadLock()
361 void PthreadLockChecker::AcquireXNULock(const CallEvent &Call,  in AcquireXNULock()
368 void PthreadLockChecker::TryPthreadLock(const CallEvent &Call,  in TryPthreadLock()
375 void PthreadLockChecker::TryXNULock(const CallEvent &Call, CheckerContext &C,  in TryXNULock()
381 void PthreadLockChecker::TryFuchsiaLock(const CallEvent &Call,  in TryFuchsiaLock()
388 void PthreadLockChecker::TryC11Lock(const CallEvent &Call, CheckerContext &C,  in TryC11Lock()
394 void PthreadLockChecker::AcquireLockAux(const CallEvent &Call,  in AcquireLockAux()
467 void PthreadLockChecker::ReleaseAnyLock(const CallEvent &Call,  in ReleaseAnyLock()
473 void PthreadLockChecker::ReleaseLockAux(const CallEvent &Call,  in ReleaseLockAux()
519 void PthreadLockChecker::DestroyPthreadLock(const CallEvent &Call,  in DestroyPthreadLock()
526 void PthreadLockChecker::DestroyXNULock(const CallEvent &Call,  in DestroyXNULock()
533 void PthreadLockChecker::DestroyLockAux(const CallEvent &Call,  in DestroyLockAux()
587 void PthreadLockChecker::InitAnyLock(const CallEvent &Call, CheckerContext &C,  in InitAnyLock()
592 void PthreadLockChecker::InitLockAux(const CallEvent &Call, CheckerContext &C,  in InitLockAux()
622 void PthreadLockChecker::reportBug(CheckerContext &C,  in reportBug()
636 void PthreadLockChecker::checkDeadSymbols(SymbolReaper &SymReaper,  in checkDeadSymbols()
663 ProgramStateRef PthreadLockChecker::checkRegionChanges(  in checkRegionChanges()
701   mgr.registerChecker<PthreadLockChecker>();  in registerPthreadLockBase()
708     PthreadLockChecker *checker = mgr.getChecker<PthreadLockChecker>();        \
709     checker->ChecksEnabled[PthreadLockChecker::CK_##name] = true;              \
710     checker->CheckNames[PthreadLockChecker::CK_##name] =                       \
716 REGISTER_CHECKER(PthreadLockChecker)