D | RangeConstraintManager.cpp | 73 class RangeSet { class 82 RangeSet(PrimRangeSet RS) : ranges(RS) {} in RangeSet() function in __anon7dca5b270111::RangeSet 86 RangeSet addRange(Factory &F, const RangeSet &RS) { in addRange() 90 return RangeSet(Ranges); in addRange() 99 RangeSet(Factory &F, const llvm::APSInt &from, const llvm::APSInt &to) in RangeSet() function in __anon7dca5b270111::RangeSet 247 RangeSet Intersect(BasicValueFactory &BV, Factory &F, in Intersect() 283 bool operator==(const RangeSet &other) const { in operator ==() 291 RangeSet)) 295 RangeSet GetRange(ProgramStateRef state, SymbolRef sym); 343 RangeSet::Factory F; [all …]
|