Searched refs:ConstraintRange (Results 1 - 4 of 4) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp252 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>(Sy
[all...]
H A DRangedConstraintManager.cpp202 void *ProgramStateTrait<ConstraintRange>::GDMIndex() {
H A DBugReporterVisitors.cpp2860 const ConstraintRangeTy &NewCs = N->getState()->get<ConstraintRange>();
2862 N->getState()->get_context<ConstraintRange>();
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h128 class ConstraintRange {}; class in namespace:clang::ento
132 struct ProgramStateTrait<ConstraintRange>

Completed in 204 milliseconds