Searched refs:RangeSet (Results 1 - 2 of 2) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp26 void RangeSet::IntersectInRange(BasicValueFactory &BV, Factory &F,
63 const llvm::APSInt &RangeSet::getMinValue() const {
68 bool RangeSet::pin(llvm::APSInt &Lower, llvm::APSInt &Upper) const {
156 RangeSet RangeSet::Intersect(BasicValueFactory &BV, Factory &F,
179 RangeSet RangeSet::Intersect(BasicValueFactory &BV, Factory &F,
180 const RangeSet &Other) const {
184 RangeSet newPiece = Intersect(BV, F, i->From(), i->To());
196 RangeSet RangeSe
[all...]
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h26 /// to subvert RangeSet's immutability.
53 // be used to speed up some of the operations in RangeSet.
60 /// RangeSet contains a set of ranges. If the set is empty, then
63 class RangeSet { class in namespace:clang::ento
72 RangeSet(PrimRangeSet RS) : ranges(RS) {} function in class:clang::ento::RangeSet
76 RangeSet addRange(Factory &F, const RangeSet &RS) {
80 return RangeSet(Ranges);
88 /// Construct a new RangeSet representing '{ [from, to] }'.
89 RangeSet(Factor function in class:clang::ento::RangeSet
[all...]

Completed in 101 milliseconds