reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
412 if (!LockR) 417 const SymbolRef *sym = State->get<DestroyRetVal>(LockR); 419 State = resolvePossiblyDestroyedMutex(State, LockR, sym); 421 const struct LockState *LState = State->get<LockMap>(LockR); 423 State = State->set<LockMap>(LockR, LockState::getUnlocked());