Home
last modified time | relevance | path

Searched refs:lstate (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DPthreadLockChecker.cpp290 const LockState *lstate = state->get<LockMap>(lockR); in resolvePossiblyDestroyedMutex() local
294 assert(lstate->isUntouchedAndPossiblyDestroyed() || in resolvePossiblyDestroyedMutex()
295 lstate->isUnlockedAndPossiblyDestroyed()); in resolvePossiblyDestroyedMutex()
300 if (lstate->isUntouchedAndPossiblyDestroyed()) in resolvePossiblyDestroyedMutex()
302 else if (lstate->isUnlockedAndPossiblyDestroyed()) in resolvePossiblyDestroyedMutex()