reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
221 if (!lockR) 225 const SymbolRef *sym = state->get<DestroyRetVal>(lockR); 227 state = resolvePossiblyDestroyedMutex(state, lockR, sym); 235 if (const LockState *LState = state->get<LockMap>(lockR)) { 283 lockSucc = lockSucc->add<LockSet>(lockR); 284 lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked());