Searched refs:lockR (Results 1 – 1 of 1) sorted by relevance
161 const LockState *lstate = state->get<LockMap>(lockR); in resolvePossiblyDestroyedMutex()172 state = state->remove<LockMap>(lockR); in resolvePossiblyDestroyedMutex()180 state = state->remove<DestroyRetVal>(lockR); in resolvePossiblyDestroyedMutex()221 const MemRegion *lockR = lock.getAsRegion(); in AcquireLock() local222 if (!lockR) in AcquireLock()226 const SymbolRef *sym = state->get<DestroyRetVal>(lockR); in AcquireLock()284 lockSucc = lockSucc->add<LockSet>(lockR); in AcquireLock()292 const MemRegion *lockR = lock.getAsRegion(); in ReleaseLock() local293 if (!lockR) in ReleaseLock()326 if (firstLockR != lockR) { in ReleaseLock()[all …]