Searched refs:LockR (Results 1 - 1 of 1) sorted by relevance

/freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DPthreadLockChecker.cpp543 const MemRegion *LockR = MtxVal.getAsRegion(); local
544 if (!LockR)
549 const SymbolRef *sym = State->get<DestroyRetVal>(LockR);
551 State = resolvePossiblyDestroyedMutex(State, LockR, sym);
553 const LockState *LState = State->get<LockMap>(LockR);
560 State = State->remove<LockMap>(LockR);
564 State = State->set<DestroyRetVal>(LockR, sym);
567 LockR, LockState::getUnlockedAndPossiblyDestroyed());
570 LockR, LockState::getUntouchedAndPossiblyDestroyed());
576 State = State->set<LockMap>(LockR, LockStat
600 const MemRegion *LockR = MtxVal.getAsRegion(); local
[all...]

Completed in 121 milliseconds