reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
379 typename ProgramStateTrait<T>::data_type 381 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex())); 381 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex())); 592 ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) { 593 return addGDM(st, ProgramStateTrait<T>::GDMIndex(), 594 ProgramStateTrait<T>::MakeVoidPtr(D)); 609 typename ProgramStateTrait<T>::key_type K, 610 typename ProgramStateTrait<T>::context_type C) { 611 return addGDM(st, ProgramStateTrait<T>::GDMIndex(), 612 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C))); 612 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C))); 612 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C))); 634 typename ProgramStateTrait<T>::context_type get_context() { 635 void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(), 636 ProgramStateTrait<T>::CreateContext, 637 ProgramStateTrait<T>::DeleteContext); 639 return ProgramStateTrait<T>::MakeContext(p); 795 ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const { 796 return getStateManager().add<T>(this, K, get_context<T>()); 796 return getStateManager().add<T>(this, K, get_context<T>()); 800 typename ProgramStateTrait<T>::context_type ProgramState::get_context() const { 801 return getStateManager().get_context<T>(); 821 ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const { 822 return getStateManager().set<T>(this, D);tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
201 auto CZ = State->get<ConstraintSMT>(); 202 auto &CZFactory = State->get_context<ConstraintSMT>(); 209 return State->set<ConstraintSMT>(CZ); 214 ConstraintSMTType Constraints = State->get<ConstraintSMT>(); 242 return S1->get<ConstraintSMT>() == S2->get<ConstraintSMT>(); 242 return S1->get<ConstraintSMT>() == S2->get<ConstraintSMT>(); 300 return State->add<ConstraintSMT>(std::make_pair(Sym, Exp)); 309 auto CZ = State->get<ConstraintSMT>(); 329 State->add<ConstraintSMT>(std::make_pair(Sym, Exp)); 332 NewState->get<ConstraintSMT>().Profile(ID);