Lines Matching refs:RangeSet
29 /// to subvert RangeSet's immutability.
63 // be used to speed up some of the operations in RangeSet.
70 /// RangeSet contains a set of ranges. If the set is empty, then
73 class RangeSet {
82 RangeSet(PrimRangeSet RS) : ranges(RS) {}
89 /// Construct a new RangeSet representing '{ [from, to] }'.
90 RangeSet(Factory &F, const llvm::APSInt &from, const llvm::APSInt &to)
93 /// Profile - Generates a hash profile of this RangeSet for use
238 RangeSet Intersect(BasicValueFactory &BV, Factory &F,
274 bool operator==(const RangeSet &other) const {
282 RangeSet))
286 RangeSet GetRange(ProgramStateRef state, SymbolRef sym);
326 RangeSet::Factory F;
344 const RangeSet *Ranges = State->get<ConstraintRange>(Sym);
384 RangeSet
389 // Lazily generate a new RangeSet representing all possible values for the
394 RangeSet Result(F, BV.getMinValue(T), BV.getMaxValue(T));
413 // do not have to worry about overflow; RangeSet::Intersect can handle such a
434 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower);
449 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt);
478 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
507 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
536 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
565 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
