StaticAnalyzer/Checkers/PthreadLockChecker.cpp

28 struct LockState {
32   LockState(Kind K) : K(K) {}
35   static LockState getLocked() { return LockState(Locked); }
36   static LockState getUnlocked() { return LockState(Unlocked); }
37   static LockState getDestroyed() { 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)) {
189   lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked());
202   if (const LockState *LState = state->get<LockMap>(lockR)) {
244   state = state->set<LockMap>(lockR, LockState::getUnlocked());
257   const LockState *LState = State->get<LockMap>(LockR);
259     State = State->set<LockMap>(LockR, LockState::getDestroyed());
292   const struct LockState *LState = State->get<LockMap>(LockR);
294     State = State->set<LockMap>(LockR, LockState::getUnlocked());