Lines Matching defs:RangeSet

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