Searched refs:resolvePossiblyDestroyedMutex (Results 1 – 1 of 1) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | PthreadLockChecker.cpp | 168 ProgramStateRef resolvePossiblyDestroyedMutex(ProgramStateRef state,
288 ProgramStateRef PthreadLockChecker::resolvePossiblyDestroyedMutex( in resolvePossiblyDestroyedMutex() function in PthreadLockChecker
411 state = resolvePossiblyDestroyedMutex(state, lockR, sym); in AcquireLockAux()
489 state = resolvePossiblyDestroyedMutex(state, lockR, sym); in ReleaseLockAux()
551 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in DestroyLockAux()
608 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in InitLockAux()
647 State = resolvePossiblyDestroyedMutex(State, I.first, &I.second); in checkDeadSymbols()
|