Lines Matching refs:RangeSet
35 const RangeSet &Set) { in operator <<()
121 RangeSet::Factory F{BVF};
142 RangeSet from(RawRangeSetT<T> Init, APSIntType Ty = APSIntTy<BaseType>) { in from()
143 RangeSet RangeSet = F.getEmptySet(); in from() local
145 RangeSet = F.add(RangeSet, from(Raw)); in from()
147 return RangeSet; in from()
155 void checkNegateImpl(RangeSet Original, RangeSet Expected) { in checkNegateImpl()
156 RangeSet NegatedFromOriginal = F.negate(Original); in checkNegateImpl()
159 RangeSet NegatedBackward = F.negate(NegatedFromOriginal); in checkNegateImpl()
168 void checkIntersectImpl(RangeSet LHS, PointOrSet RHS, RangeSet Expected) { in checkIntersectImpl()
169 RangeSet Result = F.intersect(LHS, RHS); in checkIntersectImpl()
174 void checkIntersectRangeImpl(RangeSet LHS, const llvm::APSInt &Lower, in checkIntersectRangeImpl()
175 const llvm::APSInt &Upper, RangeSet Expected) { in checkIntersectRangeImpl()
176 RangeSet Result = F.intersect(LHS, Lower, Upper); in checkIntersectRangeImpl()
184 wrap(&Self::checkIntersectImpl<RangeSet>, RawLHS, RawRHS, RawExpected); in checkIntersect()
199 void checkContainsImpl(RangeSet LHS, const llvm::APSInt &RHS, bool Expected) { in checkContainsImpl()
211 void checkAddImpl(RangeSet LHS, RHSType RHS, RangeSet Expected) { in checkAddImpl()
212 RangeSet Result = F.add(LHS, RHS); in checkAddImpl()
223 wrap(&Self::checkAddImpl<RangeSet>, RawLHS, RawRHS, RawExpected); in checkAdd()
232 void checkUniteImpl(RangeSet LHS, RHSType RHS, RangeSet Expected) { in checkUniteImpl()
233 RangeSet Result = F.unite(LHS, RHS); in checkUniteImpl()
245 wrap(&Self::checkUniteImpl<RangeSet>, RawLHS, RawRHS, RawExpected); in checkUnite()
254 void checkDeleteImpl(const llvm::APSInt &Point, RangeSet From, in checkDeleteImpl()
255 RangeSet Expected) { in checkDeleteImpl()
256 RangeSet Result = F.deletePoint(From, Point); in checkDeleteImpl()
266 void checkCastToImpl(RangeSet What, APSIntType Ty, RangeSet Expected) { in checkCastToImpl()
267 RangeSet Result = F.castTo(What, Ty); in checkCastToImpl()