Searched refs:LockR (Results 1 – 1 of 1) sorted by relevance
351 const MemRegion *LockR = Lock.getAsRegion(); in DestroyLock() local352 if (!LockR) in DestroyLock()357 const SymbolRef *sym = State->get<DestroyRetVal>(LockR); in DestroyLock()359 State = resolvePossiblyDestroyedMutex(State, LockR, sym); in DestroyLock()361 const LockState *LState = State->get<LockMap>(LockR); in DestroyLock()368 State = State->remove<LockMap>(LockR); in DestroyLock()372 State = State->set<DestroyRetVal>(LockR, sym); in DestroyLock()411 const MemRegion *LockR = Lock.getAsRegion(); in InitLock() local412 if (!LockR) in InitLock()417 const SymbolRef *sym = State->get<DestroyRetVal>(LockR); in InitLock()[all …]