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