reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
356 const SymbolRef *sym = State->get<DestroyRetVal>(LockR); 358 State = resolvePossiblyDestroyedMutex(State, LockR, sym); 358 State = resolvePossiblyDestroyedMutex(State, LockR, sym); 360 const LockState *LState = State->get<LockMap>(LockR); 367 State = State->remove<LockMap>(LockR); 367 State = State->remove<LockMap>(LockR); 368 C.addTransition(State); 371 State = State->set<DestroyRetVal>(LockR, sym); 371 State = State->set<DestroyRetVal>(LockR, sym); 373 State = State->set<LockMap>( 373 State = State->set<LockMap>( 376 State = State->set<LockMap>( 376 State = State->set<LockMap>( 378 C.addTransition(State); 383 State = State->set<LockMap>(LockR, LockState::getDestroyed()); 383 State = State->set<LockMap>(LockR, LockState::getDestroyed()); 384 C.addTransition(State);