Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DPthreadLockChecker.cpp542 const MemRegion *LockR = MtxVal.getAsRegion(); in DestroyLockAux() local
543 if (!LockR) in DestroyLockAux()
548 const SymbolRef *sym = State->get<DestroyRetVal>(LockR); in DestroyLockAux()
550 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in DestroyLockAux()
552 const LockState *LState = State->get<LockMap>(LockR); in DestroyLockAux()
559 State = State->remove<LockMap>(LockR); in DestroyLockAux()
563 State = State->set<DestroyRetVal>(LockR, sym); in DestroyLockAux()
599 const MemRegion *LockR = MtxVal.getAsRegion(); in InitLockAux() local
600 if (!LockR) in InitLockAux()
605 const SymbolRef *sym = State->get<DestroyRetVal>(LockR); in InitLockAux()
[all …]