Searched refs:lockR (Results 1 – 1 of 1) sorted by relevance
290 const LockState *lstate = state->get<LockMap>(lockR); in resolvePossiblyDestroyedMutex()302 state = state->remove<LockMap>(lockR); in resolvePossiblyDestroyedMutex()310 state = state->remove<DestroyRetVal>(lockR); in resolvePossiblyDestroyedMutex()404 const MemRegion *lockR = MtxVal.getAsRegion(); in AcquireLockAux() local405 if (!lockR) in AcquireLockAux()409 const SymbolRef *sym = state->get<DestroyRetVal>(lockR); in AcquireLockAux()464 lockSucc = lockSucc->add<LockSet>(lockR); in AcquireLockAux()482 const MemRegion *lockR = MtxVal.getAsRegion(); in ReleaseLockAux() local483 if (!lockR) in ReleaseLockAux()487 const SymbolRef *sym = state->get<DestroyRetVal>(lockR); in ReleaseLockAux()[all …]