Searched refs:resolvePossiblyDestroyedMutex (Results 1 – 1 of 1) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | PthreadLockChecker.cpp | 167 ProgramStateRef resolvePossiblyDestroyedMutex(ProgramStateRef state,
287 ProgramStateRef PthreadLockChecker::resolvePossiblyDestroyedMutex( in resolvePossiblyDestroyedMutex() function in PthreadLockChecker
409 state = resolvePossiblyDestroyedMutex(state, lockR, sym); in AcquireLockAux()
487 state = resolvePossiblyDestroyedMutex(state, lockR, sym); in ReleaseLockAux()
549 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in DestroyLockAux()
606 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in InitLockAux()
645 State = resolvePossiblyDestroyedMutex(State, I.first, &I.second); in checkDeadSymbols()
|