Searched refs:resolvePossiblyDestroyedMutex (Results 1 – 1 of 1) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | PthreadLockChecker.cpp | 95 ProgramStateRef resolvePossiblyDestroyedMutex(ProgramStateRef state,
159 ProgramStateRef PthreadLockChecker::resolvePossiblyDestroyedMutex( in resolvePossiblyDestroyedMutex() function in PthreadLockChecker
228 state = resolvePossiblyDestroyedMutex(state, lockR, sym); in AcquireLock()
299 state = resolvePossiblyDestroyedMutex(state, lockR, sym); in ReleaseLock()
359 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in DestroyLock()
419 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in InitLock()
476 State = resolvePossiblyDestroyedMutex(State, lockR, &Sym); in checkDeadSymbols()
|