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())); 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))); 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>(); 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/Core/BugReporterVisitors.cpp
2859 const ConstraintRangeTy &NewCs = N->getState()->get<ConstraintRange>(); 2861 N->getState()->get_context<ConstraintRange>();tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
252 return S1->get<ConstraintRange>() == S2->get<ConstraintRange>(); 252 return S1->get<ConstraintRange>() == S2->get<ConstraintRange>(); 384 const RangeSet *Ranges = State->get<ConstraintRange>(Sym); 408 const ConstraintRangeTy::data_type *T = St->get<ConstraintRange>(Sym); 418 ConstraintRangeTy CR = State->get<ConstraintRange>(); 419 ConstraintRangeTy::Factory &CRFactory = State->get_context<ConstraintRange>(); 429 return Changed ? State->set<ConstraintRange>(CR) : State; 481 ConstraintRangeTy::data_type *V = State->get<ConstraintRange>(Sym); 529 if (const RangeSet *negV = State->get<ConstraintRange>(negSym)) { 570 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New); 585 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New); 621 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New); 657 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New); 693 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New); 736 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New); 746 return Out.isEmpty() ? nullptr : State->set<ConstraintRange>(Sym, Out); 755 return New.isEmpty() ? nullptr : State->set<ConstraintRange>(Sym, New); 765 ConstraintRangeTy Constraints = State->get<ConstraintRange>();