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