Home | History | Annotate | Download | only in Checkers

Lines Matching defs:LockState

28 struct LockState {
32 LockState(Kind K) : K(K) {}
35 static LockState getLocked(void) { return LockState(Locked); }
36 static LockState getUnlocked(void) { return LockState(Unlocked); }
37 static LockState getDestroyed(void) { return LockState(Destroyed); }
39 bool operator==(const LockState &X) const {
79 REGISTER_MAP_WITH_PROGRAMSTATE(LockMap, const MemRegion *, LockState)
140 if (const LockState *LState = state->get<LockMap>(lockR)) {
190 lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked());
203 if (const LockState *LState = state->get<LockMap>(lockR)) {
248 state = state->set<LockMap>(lockR, LockState::getUnlocked());
261 const LockState *LState = State->get<LockMap>(LockR);
263 State = State->set<LockMap>(LockR, LockState::getDestroyed());
296 const struct LockState *LState = State->get<LockMap>(LockR);
298 State = State->set<LockMap>(LockR, LockState::getUnlocked());