reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
177 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); 180 State = State->set<CtorDtorMap>(Reg, ObjectState::CtorCalled); 180 State = State->set<CtorDtorMap>(Reg, ObjectState::CtorCalled); 182 State = State->remove<CtorDtorMap>(Reg); 182 State = State->remove<CtorDtorMap>(Reg); 184 C.addTransition(State); 191 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); 194 State = State->set<CtorDtorMap>(Reg, ObjectState::DtorCalled); 194 State = State->set<CtorDtorMap>(Reg, ObjectState::DtorCalled); 196 State = State->remove<CtorDtorMap>(Reg); 196 State = State->remove<CtorDtorMap>(Reg); 198 C.addTransition(State);