96                                                 const MemRegion *lockR,
160     ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const {  in resolvePossiblyDestroyedMutex()  argument
161   const LockState *lstate = state->get<LockMap>(lockR);  in resolvePossiblyDestroyedMutex()
172       state = state->remove<LockMap>(lockR);  in resolvePossiblyDestroyedMutex()
174       state = state->set<LockMap>(lockR, LockState::getUnlocked());  in resolvePossiblyDestroyedMutex()
176     state = state->set<LockMap>(lockR, LockState::getDestroyed());  in resolvePossiblyDestroyedMutex()
180   state = state->remove<DestroyRetVal>(lockR);  in resolvePossiblyDestroyedMutex()
221   const MemRegion *lockR = lock.getAsRegion();  in AcquireLock()  local
222   if (!lockR)  in AcquireLock()
226   const SymbolRef *sym = state->get<DestroyRetVal>(lockR);  in AcquireLock()
228     state = resolvePossiblyDestroyedMutex(state, lockR, sym);  in AcquireLock()
236   if (const LockState *LState = state->get<LockMap>(lockR)) {  in AcquireLock()
284   lockSucc = lockSucc->add<LockSet>(lockR);  in AcquireLock()
285   lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked());  in AcquireLock()
292   const MemRegion *lockR = lock.getAsRegion();  in ReleaseLock()  local
293   if (!lockR)  in ReleaseLock()
297   const SymbolRef *sym = state->get<DestroyRetVal>(lockR);  in ReleaseLock()
299     state = resolvePossiblyDestroyedMutex(state, lockR, sym);  in ReleaseLock()
301   if (const LockState *LState = state->get<LockMap>(lockR)) {  in ReleaseLock()
326     if (firstLockR != lockR) {  in ReleaseLock()
343   state = state->set<LockMap>(lockR, LockState::getUnlocked());  in ReleaseLock()
472     const MemRegion *lockR = I->first;  in checkDeadSymbols()  local
476       State = resolvePossiblyDestroyedMutex(State, lockR, &Sym);  in checkDeadSymbols()