reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
296 const SymbolRef *sym = state->get<DestroyRetVal>(lockR); 298 state = resolvePossiblyDestroyedMutex(state, lockR, sym); 298 state = resolvePossiblyDestroyedMutex(state, lockR, sym); 300 if (const LockState *LState = state->get<LockMap>(lockR)) { 319 LockSetTy LS = state->get<LockSet>(); 339 state = state->set<LockSet>(LS.getTail()); 339 state = state->set<LockSet>(LS.getTail()); 342 state = state->set<LockMap>(lockR, LockState::getUnlocked()); 342 state = state->set<LockMap>(lockR, LockState::getUnlocked()); 343 C.addTransition(state);