Searched refs:LockR (Results 1 – 1 of 1) sorted by relevance
572 const MemRegion *LockR = MtxVal.getAsRegion(); in DestroyLockAux() local573 if (!LockR) in DestroyLockAux()578 const SymbolRef *sym = State->get<DestroyRetVal>(LockR); in DestroyLockAux()580 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in DestroyLockAux()582 const LockState *LState = State->get<LockMap>(LockR); in DestroyLockAux()589 State = State->remove<LockMap>(LockR); in DestroyLockAux()593 State = State->set<DestroyRetVal>(LockR, sym); in DestroyLockAux()596 LockR, LockState::getUnlockedAndPossiblyDestroyed()); in DestroyLockAux()599 LockR, LockState::getUntouchedAndPossiblyDestroyed()); in DestroyLockAux()605 State = State->set<LockMap>(LockR, LockState::getDestroyed()); in DestroyLockAux()[all …]