351   const MemRegion *LockR = Lock.getAsRegion();  in DestroyLock()  local
352   if (!LockR)  in DestroyLock()
357   const SymbolRef *sym = State->get<DestroyRetVal>(LockR);  in DestroyLock()
359     State = resolvePossiblyDestroyedMutex(State, LockR, sym);  in DestroyLock()
361   const LockState *LState = State->get<LockMap>(LockR);  in DestroyLock()
368         State = State->remove<LockMap>(LockR);  in DestroyLock()
372       State = State->set<DestroyRetVal>(LockR, sym);  in DestroyLock()
375             LockR, LockState::getUnlockedAndPossiblyDestroyed());  in DestroyLock()
378             LockR, LockState::getUntouchedAndPossiblyDestroyed());  in DestroyLock()
384       State = State->set<LockMap>(LockR, LockState::getDestroyed());  in DestroyLock()
411   const MemRegion *LockR = Lock.getAsRegion();  in InitLock()  local
412   if (!LockR)  in InitLock()
417   const SymbolRef *sym = State->get<DestroyRetVal>(LockR);  in InitLock()
419     State = resolvePossiblyDestroyedMutex(State, LockR, sym);  in InitLock()
421   const struct LockState *LState = State->get<LockMap>(LockR);  in InitLock()
423     State = State->set<LockMap>(LockR, LockState::getUnlocked());  in InitLock()