169                                                 const MemRegion *lockR,
289     ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const {  in resolvePossiblyDestroyedMutex()  argument
290   const LockState *lstate = state->get<LockMap>(lockR);  in resolvePossiblyDestroyedMutex()
301       state = state->remove<LockMap>(lockR);  in resolvePossiblyDestroyedMutex()
303       state = state->set<LockMap>(lockR, LockState::getUnlocked());  in resolvePossiblyDestroyedMutex()
305     state = state->set<LockMap>(lockR, LockState::getDestroyed());  in resolvePossiblyDestroyedMutex()
309   state = state->remove<DestroyRetVal>(lockR);  in resolvePossiblyDestroyedMutex()
403   const MemRegion *lockR = MtxVal.getAsRegion();  in AcquireLockAux()  local
404   if (!lockR)  in AcquireLockAux()
408   const SymbolRef *sym = state->get<DestroyRetVal>(lockR);  in AcquireLockAux()
410     state = resolvePossiblyDestroyedMutex(state, lockR, sym);  in AcquireLockAux()
412   if (const LockState *LState = state->get<LockMap>(lockR)) {  in AcquireLockAux()
463   lockSucc = lockSucc->add<LockSet>(lockR);  in AcquireLockAux()
464   lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked());  in AcquireLockAux()
481   const MemRegion *lockR = MtxVal.getAsRegion();  in ReleaseLockAux()  local
482   if (!lockR)  in ReleaseLockAux()
486   const SymbolRef *sym = state->get<DestroyRetVal>(lockR);  in ReleaseLockAux()
488     state = resolvePossiblyDestroyedMutex(state, lockR, sym);  in ReleaseLockAux()
490   if (const LockState *LState = state->get<LockMap>(lockR)) {  in ReleaseLockAux()
506     if (firstLockR != lockR) {  in ReleaseLockAux()
516   state = state->set<LockMap>(lockR, LockState::getUnlocked());  in ReleaseLockAux()