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()));
  385   typename ProgramStateTrait<T>::lookup_type
  387     void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
  388     return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
  388     return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key);
  392   typename ProgramStateTrait<T>::context_type get_context() const;
  422     void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
  423     return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
  423     return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key);
  593     return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
  594                   ProgramStateTrait<T>::MakeVoidPtr(D));
  603     return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
  604      ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
  604      ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, 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)));
  620     return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
  621      ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
  621      ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(st->get<T>(), K, C)));
  626     return removeGDM(st, ProgramStateTrait<T>::GDMIndex());
  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);
  800 typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {