Searched refs:lockR (Results 1 – 1 of 1) sorted by relevance
202 const MemRegion *lockR,318 ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const { in resolvePossiblyDestroyedMutex() argument319 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() local434 if (!lockR) in AcquireLockAux()438 const SymbolRef *sym = state->get<DestroyRetVal>(lockR); in AcquireLockAux()[all …]