Searched refs:lockR (Results 1 – 1 of 1) sorted by relevance
289 const LockState *lstate = state->get<LockMap>(lockR); in resolvePossiblyDestroyedMutex()300 state = state->remove<LockMap>(lockR); 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()462 lockSucc = lockSucc->add<LockSet>(lockR); in AcquireLockAux()480 const MemRegion *lockR = MtxVal.getAsRegion(); in ReleaseLockAux() local481 if (!lockR) in ReleaseLockAux()485 const SymbolRef *sym = state->get<DestroyRetVal>(lockR); in ReleaseLockAux()[all …]