542   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()
566             LockR, LockState::getUnlockedAndPossiblyDestroyed());  in DestroyLockAux()
569             LockR, LockState::getUntouchedAndPossiblyDestroyed());  in DestroyLockAux()
575       State = State->set<LockMap>(LockR, LockState::getDestroyed());  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()
607     State = resolvePossiblyDestroyedMutex(State, LockR, sym);  in InitLockAux()
609   const struct LockState *LState = State->get<LockMap>(LockR);  in InitLockAux()
611     State = State->set<LockMap>(LockR, LockState::getUnlocked());  in InitLockAux()