Searched refs:resolvePossiblyDestroyedMutex (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | PthreadLockChecker.cpp | 201 ProgramStateRef resolvePossiblyDestroyedMutex(ProgramStateRef state,
317 ProgramStateRef PthreadLockChecker::resolvePossiblyDestroyedMutex( in resolvePossiblyDestroyedMutex() function in PthreadLockChecker
440 state = resolvePossiblyDestroyedMutex(state, lockR, sym); in AcquireLockAux()
518 state = resolvePossiblyDestroyedMutex(state, lockR, sym); in ReleaseLockAux()
580 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in DestroyLockAux()
637 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in InitLockAux()
676 State = resolvePossiblyDestroyedMutex(State, I.first, &I.second); in checkDeadSymbols()
|