33 struct LockState {  struct
43   LockState(Kind K) : K(K) {}  in LockState()  argument
46   static LockState getLocked() { return LockState(Locked); }  in getLocked()  argument
47   static LockState getUnlocked() { return LockState(Unlocked); }  in getUnlocked()  argument
48   static LockState getDestroyed() { return LockState(Destroyed); }  in getDestroyed()  argument
49   static LockState getUntouchedAndPossiblyDestroyed() {  in getUntouchedAndPossiblyDestroyed()  argument
50     return LockState(UntouchedAndPossiblyDestroyed);  in getUntouchedAndPossiblyDestroyed()
52   static LockState getUnlockedAndPossiblyDestroyed() {  in getUnlockedAndPossiblyDestroyed()  argument
53     return LockState(UnlockedAndPossiblyDestroyed);  in getUnlockedAndPossiblyDestroyed()
56   bool operator==(const LockState &X) const { return K == X.K; }  in operator ==()  argument
287 REGISTER_MAP_WITH_PROGRAMSTATE(LockMap, const MemRegion *, LockState)  in REGISTER_LIST_WITH_PROGRAMSTATE()
319   const LockState *lstate = state->get<LockMap>(lockR);  in resolvePossiblyDestroyedMutex()
333       state = state->set<LockMap>(lockR, LockState::getUnlocked());  in resolvePossiblyDestroyedMutex()
335     state = state->set<LockMap>(lockR, LockState::getDestroyed());  in resolvePossiblyDestroyedMutex()
442   if (const LockState *LState = state->get<LockMap>(lockR)) {  in AcquireLockAux()
494   lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked());  in AcquireLockAux()
520   if (const LockState *LState = state->get<LockMap>(lockR)) {  in ReleaseLockAux()
546   state = state->set<LockMap>(lockR, LockState::getUnlocked());  in ReleaseLockAux()
582   const LockState *LState = State->get<LockMap>(LockR);  in DestroyLockAux()
596             LockR, LockState::getUnlockedAndPossiblyDestroyed());  in DestroyLockAux()
599             LockR, LockState::getUntouchedAndPossiblyDestroyed());  in DestroyLockAux()
605       State = State->set<LockMap>(LockR, LockState::getDestroyed());  in DestroyLockAux()
639   const struct LockState *LState = State->get<LockMap>(LockR);  in InitLockAux()
641     State = State->set<LockMap>(LockR, LockState::getUnlocked());  in InitLockAux()