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()
302       state = state->remove<LockMap>(lockR);  in resolvePossiblyDestroyedMutex()
304       state = state->set<LockMap>(lockR, LockState::getUnlocked());  in resolvePossiblyDestroyedMutex()
306     state = state->set<LockMap>(lockR, LockState::getDestroyed());  in resolvePossiblyDestroyedMutex()
310   state = state->remove<DestroyRetVal>(lockR);  in resolvePossiblyDestroyedMutex()
404   const MemRegion *lockR = MtxVal.getAsRegion();  in AcquireLockAux()  local
405   if (!lockR)  in AcquireLockAux()
409   const SymbolRef *sym = state->get<DestroyRetVal>(lockR);  in AcquireLockAux()
411     state = resolvePossiblyDestroyedMutex(state, lockR, sym);  in AcquireLockAux()
413   if (const LockState *LState = state->get<LockMap>(lockR)) {  in AcquireLockAux()
464   lockSucc = lockSucc->add<LockSet>(lockR);  in AcquireLockAux()
465   lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked());  in AcquireLockAux()
482   const MemRegion *lockR = MtxVal.getAsRegion();  in ReleaseLockAux()  local
483   if (!lockR)  in ReleaseLockAux()
487   const SymbolRef *sym = state->get<DestroyRetVal>(lockR);  in ReleaseLockAux()
489     state = resolvePossiblyDestroyedMutex(state, lockR, sym);  in ReleaseLockAux()
491   if (const LockState *LState = state->get<LockMap>(lockR)) {  in ReleaseLockAux()
507     if (firstLockR != lockR) {  in ReleaseLockAux()
517   state = state->set<LockMap>(lockR, LockState::getUnlocked());  in ReleaseLockAux()