543   const MemRegion *LockR = MtxVal.getAsRegion();  in DestroyLockAux()  local
544   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()
567             LockR, LockState::getUnlockedAndPossiblyDestroyed());  in DestroyLockAux()
570             LockR, LockState::getUntouchedAndPossiblyDestroyed());  in DestroyLockAux()
576       State = State->set<LockMap>(LockR, LockState::getDestroyed());  in DestroyLockAux()
600   const MemRegion *LockR = MtxVal.getAsRegion();  in InitLockAux()  local
601   if (!LockR)  in InitLockAux()
606   const SymbolRef *sym = State->get<DestroyRetVal>(LockR);  in InitLockAux()
608     State = resolvePossiblyDestroyedMutex(State, LockR, sym);  in InitLockAux()
610   const struct LockState *LState = State->get<LockMap>(LockR);  in InitLockAux()
612     State = State->set<LockMap>(LockR, LockState::getUnlocked());  in InitLockAux()