Searched refs:resolvePossiblyDestroyedMutex (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | PthreadLockChecker.cpp | 168 ProgramStateRef resolvePossiblyDestroyedMutex(ProgramStateRef state,
288 ProgramStateRef PthreadLockChecker::resolvePossiblyDestroyedMutex( in resolvePossiblyDestroyedMutex() function in PthreadLockChecker
410 state = resolvePossiblyDestroyedMutex(state, lockR, sym); in AcquireLockAux()
488 state = resolvePossiblyDestroyedMutex(state, lockR, sym); in ReleaseLockAux()
550 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in DestroyLockAux()
607 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in InitLockAux()
646 State = resolvePossiblyDestroyedMutex(State, I.first, &I.second); in checkDeadSymbols()
|