Searched refs:RangeSet (Results 1 - 2 of 2) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | RangeConstraintManager.cpp | 26 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 D | RangedConstraintManager.h | 26 /// 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