168                                                 const MemRegion *lockR,
288     ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const {  in resolvePossiblyDestroyedMutex()  argument
289   const LockState *lstate = state->get<LockMap>(lockR);  in resolvePossiblyDestroyedMutex()
300       state = state->remove<LockMap>(lockR);  in resolvePossiblyDestroyedMutex()
302       state = state->set<LockMap>(lockR, LockState::getUnlocked());  in resolvePossiblyDestroyedMutex()
304     state = state->set<LockMap>(lockR, LockState::getDestroyed());  in resolvePossiblyDestroyedMutex()
308   state = state->remove<DestroyRetVal>(lockR);  in resolvePossiblyDestroyedMutex()
402   const MemRegion *lockR = MtxVal.getAsRegion();  in AcquireLockAux()  local
403   if (!lockR)  in AcquireLockAux()
407   const SymbolRef *sym = state->get<DestroyRetVal>(lockR);  in AcquireLockAux()
409     state = resolvePossiblyDestroyedMutex(state, lockR, sym);  in AcquireLockAux()
411   if (const LockState *LState = state->get<LockMap>(lockR)) {  in AcquireLockAux()
462   lockSucc = lockSucc->add<LockSet>(lockR);  in AcquireLockAux()
463   lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked());  in AcquireLockAux()
480   const MemRegion *lockR = MtxVal.getAsRegion();  in ReleaseLockAux()  local
481   if (!lockR)  in ReleaseLockAux()
485   const SymbolRef *sym = state->get<DestroyRetVal>(lockR);  in ReleaseLockAux()
487     state = resolvePossiblyDestroyedMutex(state, lockR, sym);  in ReleaseLockAux()
489   if (const LockState *LState = state->get<LockMap>(lockR)) {  in ReleaseLockAux()
505     if (firstLockR != lockR) {  in ReleaseLockAux()
515   state = state->set<LockMap>(lockR, LockState::getUnlocked());  in ReleaseLockAux()