Searched refs:RangeSet (Results 1 – 1 of 1) sorted by relevance
73 class RangeSet { class82 RangeSet(PrimRangeSet RS) : ranges(RS) {} in RangeSet() function in __anon42e992be0111::RangeSet90 RangeSet(Factory &F, const llvm::APSInt &from, const llvm::APSInt &to) in RangeSet() function in __anon42e992be0111::RangeSet238 RangeSet Intersect(BasicValueFactory &BV, Factory &F, in Intersect()274 bool operator==(const RangeSet &other) const { in operator ==()282 RangeSet))286 RangeSet GetRange(ProgramStateRef state, SymbolRef sym);326 RangeSet::Factory F;344 const RangeSet *Ranges = State->get<ConstraintRange>(Sym); in checkNull()384 RangeSet[all …]