reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
  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);