Lines Matching refs:PthreadLockChecker

69 class PthreadLockChecker  class
110 void PthreadLockChecker::checkPostStmt(const CallExpr *CE,  in REGISTER_LIST_WITH_PROGRAMSTATE()
159 ProgramStateRef PthreadLockChecker::resolvePossiblyDestroyedMutex(  in resolvePossiblyDestroyedMutex()
184 void PthreadLockChecker::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
217 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,  in AcquireLock()
289 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,  in ReleaseLock()
347 void PthreadLockChecker::DestroyLock(CheckerContext &C, const CallExpr *CE,  in DestroyLock()
408 void PthreadLockChecker::InitLock(CheckerContext &C, const CallExpr *CE,  in InitLock()
447 void PthreadLockChecker::reportUseDestroyedBug(CheckerContext &C,  in reportUseDestroyedBug()
461 void PthreadLockChecker::checkDeadSymbols(SymbolReaper &SymReaper,  in checkDeadSymbols()
482   mgr.registerChecker<PthreadLockChecker>();  in registerPthreadLockChecker()