Lines Matching defs:LockState

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