202                                                 const MemRegion *lockR,
318     ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const {  in resolvePossiblyDestroyedMutex()  argument
319   const LockState *lstate = state->get<LockMap>(lockR);  in resolvePossiblyDestroyedMutex()
331       state = state->remove<LockMap>(lockR);  in resolvePossiblyDestroyedMutex()
333       state = state->set<LockMap>(lockR, LockState::getUnlocked());  in resolvePossiblyDestroyedMutex()
335     state = state->set<LockMap>(lockR, LockState::getDestroyed());  in resolvePossiblyDestroyedMutex()
339   state = state->remove<DestroyRetVal>(lockR);  in resolvePossiblyDestroyedMutex()
433   const MemRegion *lockR = MtxVal.getAsRegion();  in AcquireLockAux()  local
434   if (!lockR)  in AcquireLockAux()
438   const SymbolRef *sym = state->get<DestroyRetVal>(lockR);  in AcquireLockAux()
440     state = resolvePossiblyDestroyedMutex(state, lockR, sym);  in AcquireLockAux()
442   if (const LockState *LState = state->get<LockMap>(lockR)) {  in AcquireLockAux()
493   lockSucc = lockSucc->add<LockSet>(lockR);  in AcquireLockAux()
494   lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked());  in AcquireLockAux()
511   const MemRegion *lockR = MtxVal.getAsRegion();  in ReleaseLockAux()  local
512   if (!lockR)  in ReleaseLockAux()
516   const SymbolRef *sym = state->get<DestroyRetVal>(lockR);  in ReleaseLockAux()
518     state = resolvePossiblyDestroyedMutex(state, lockR, sym);  in ReleaseLockAux()
520   if (const LockState *LState = state->get<LockMap>(lockR)) {  in ReleaseLockAux()
536     if (firstLockR != lockR) {  in ReleaseLockAux()
546   state = state->set<LockMap>(lockR, LockState::getUnlocked());  in ReleaseLockAux()