Lines Matching defs:LockR
546 const MemRegion *LockR = Lock.getAsRegion();
547 if (!LockR)
552 const SymbolRef *sym = State->get<DestroyRetVal>(LockR);
554 State = resolvePossiblyDestroyedMutex(State, LockR, sym);
556 const LockState *LState = State->get<LockMap>(LockR);
563 State = State->remove<LockMap>(LockR);
567 State = State->set<DestroyRetVal>(LockR, sym);
570 LockR, LockState::getUnlockedAndPossiblyDestroyed());
573 LockR, LockState::getUntouchedAndPossiblyDestroyed());
579 State = State->set<LockMap>(LockR, LockState::getDestroyed());
613 const MemRegion *LockR = Lock.getAsRegion();
614 if (!LockR)
619 const SymbolRef *sym = State->get<DestroyRetVal>(LockR);
621 State = resolvePossiblyDestroyedMutex(State, LockR, sym);
623 const struct LockState *LState = State->get<LockMap>(LockR);
625 State = State->set<LockMap>(LockR, LockState::getUnlocked());