Lines Matching refs:lockR
168 const MemRegion *lockR,
285 ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const {
286 const LockState *lstate = state->get<LockMap>(lockR);
288 // Existence in Destroyed also ensures that the lock state for lockR is either
297 state = state->remove<LockMap>(lockR);
299 state = state->set<LockMap>(lockR, LockState::getUnlocked());
301 state = state->set<LockMap>(lockR, LockState::getDestroyed());
303 // Removing the map entry (lockR, sym) from DestroyRetVal as the lock state is
305 state = state->remove<DestroyRetVal>(lockR);
390 const MemRegion *lockR = lock.getAsRegion();
391 if (!lockR)
395 const SymbolRef *sym = state->get<DestroyRetVal>(lockR);
397 state = resolvePossiblyDestroyedMutex(state, lockR, sym);
399 if (const LockState *LState = state->get<LockMap>(lockR)) {
455 lockSucc = lockSucc->add<LockSet>(lockR);
456 lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked());
473 const MemRegion *lockR = lock.getAsRegion();
474 if (!lockR)
478 const SymbolRef *sym = state->get<DestroyRetVal>(lockR);
480 state = resolvePossiblyDestroyedMutex(state, lockR, sym);
482 if (const LockState *LState = state->get<LockMap>(lockR)) {
504 if (firstLockR != lockR) {
522 state = state->set<LockMap>(lockR, LockState::getUnlocked());