Lines Matching defs:LockR

572   const MemRegion *LockR = MtxVal.getAsRegion();
573   if (!LockR)
578   const SymbolRef *sym = State->get<DestroyRetVal>(LockR);
580     State = resolvePossiblyDestroyedMutex(State, LockR, sym);
582   const LockState *LState = State->get<LockMap>(LockR);
589         State = State->remove<LockMap>(LockR);
593       State = State->set<DestroyRetVal>(LockR, sym);
596             LockR, LockState::getUnlockedAndPossiblyDestroyed());
599             LockR, LockState::getUntouchedAndPossiblyDestroyed());
605       State = State->set<LockMap>(LockR, LockState::getDestroyed());
629   const MemRegion *LockR = MtxVal.getAsRegion();
630   if (!LockR)
635   const SymbolRef *sym = State->get<DestroyRetVal>(LockR);
637     State = resolvePossiblyDestroyedMutex(State, LockR, sym);
639   const struct LockState *LState = State->get<LockMap>(LockR);
641     State = State->set<LockMap>(LockR, LockState::getUnlocked());