Lines Matching defs:lockR

202                                                 const MemRegion *lockR,
318     ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const {
319   const LockState *lstate = state->get<LockMap>(lockR);
321   // Existence in Destroyed also ensures that the lock state for lockR is either
331       state = state->remove<LockMap>(lockR);
333       state = state->set<LockMap>(lockR, LockState::getUnlocked());
335     state = state->set<LockMap>(lockR, LockState::getDestroyed());
337   // Removing the map entry (lockR, sym) from DestroyRetVal as the lock state is
339   state = state->remove<DestroyRetVal>(lockR);
433   const MemRegion *lockR = MtxVal.getAsRegion();
434   if (!lockR)
438   const SymbolRef *sym = state->get<DestroyRetVal>(lockR);
440     state = resolvePossiblyDestroyedMutex(state, lockR, sym);
442   if (const LockState *LState = state->get<LockMap>(lockR)) {
493   lockSucc = lockSucc->add<LockSet>(lockR);
494   lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked());
511   const MemRegion *lockR = MtxVal.getAsRegion();
512   if (!lockR)
516   const SymbolRef *sym = state->get<DestroyRetVal>(lockR);
518     state = resolvePossiblyDestroyedMutex(state, lockR, sym);
520   if (const LockState *LState = state->get<LockMap>(lockR)) {
536     if (firstLockR != lockR) {
546   state = state->set<LockMap>(lockR, LockState::getUnlocked());