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