Searched refs:LockR (Results 1 – 1 of 1) sorted by relevance
543 const MemRegion *LockR = MtxVal.getAsRegion(); in DestroyLockAux() local544 if (!LockR) in DestroyLockAux()549 const SymbolRef *sym = State->get<DestroyRetVal>(LockR); in DestroyLockAux()551 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in DestroyLockAux()553 const LockState *LState = State->get<LockMap>(LockR); in DestroyLockAux()560 State = State->remove<LockMap>(LockR); in DestroyLockAux()564 State = State->set<DestroyRetVal>(LockR, sym); in DestroyLockAux()600 const MemRegion *LockR = MtxVal.getAsRegion(); in InitLockAux() local601 if (!LockR) in InitLockAux()606 const SymbolRef *sym = State->get<DestroyRetVal>(LockR); in InitLockAux()[all …]