Searched defs:lockR (Results 1 – 1 of 1) sorted by relevance
318 ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const { in resolvePossiblyDestroyedMutex() argument433 const MemRegion *lockR = MtxVal.getAsRegion(); in AcquireLockAux() local511 const MemRegion *lockR = MtxVal.getAsRegion(); in ReleaseLockAux() local