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
  386   get(typename ProgramStateTrait<T>::key_type key) const {
  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);
  592   ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
  593     return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
  594                   ProgramStateTrait<T>::MakeVoidPtr(D));
  599                      typename ProgramStateTrait<T>::key_type K,
  600                      typename ProgramStateTrait<T>::value_type V,
  601                      typename ProgramStateTrait<T>::context_type C) {
  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)));
  604      ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C)));
  617                         typename ProgramStateTrait<T>::key_type K,
  618                         typename ProgramStateTrait<T>::context_type 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)));
  621      ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Remove(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);
  800 typename ProgramStateTrait<T>::context_type ProgramState::get_context() const {
  801   return getStateManager().get_context<T>();
  805 ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
  806   return getStateManager().remove<T>(this, K, get_context<T>());
  806   return getStateManager().remove<T>(this, K, get_context<T>());
  821 ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
  822   return getStateManager().set<T>(this, D);
  826 ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::key_type K,
  827                             typename ProgramStateTrait<T>::value_type E) const {
  828   return getStateManager().set<T>(this, K, E, get_context<T>());
  828   return getStateManager().set<T>(this, K, E, get_context<T>());
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
  781   auto RegionMap = State->get<IteratorRegionMap>();
  818   auto RegionMap = State->get<IteratorRegionMap>();
  825         State = State->remove<IteratorRegionMap>(Reg.first);
 2002     return State->get<IteratorRegionMap>(Reg);
 2006     return State->get<IteratorRegionMap>(LCVal->getRegion());
 2015     return State->set<IteratorRegionMap>(Reg, Pos);
 2019     return State->set<IteratorRegionMap>(LCVal->getRegion(), Pos);
 2027     return State->remove<IteratorRegionMap>(Reg);
 2031     return State->remove<IteratorRegionMap>(LCVal->getRegion());
 2069   auto RegionMap = State->get<IteratorRegionMap>();
 2140   auto &RegionMapFactory = State->get_context<IteratorRegionMap>();
 2141   auto RegionMap = State->get<IteratorRegionMap>();
 2151     State = State->set<IteratorRegionMap>(RegionMap);