Searched refs:deletePoint (Results 1 – 2 of 2) sorted by relevance
211 RangeSet deletePoint(RangeSet From, const llvm::APSInt &Point);
849 RangeSet RangeSet::Factory::deletePoint(RangeSet From, in deletePoint() function in RangeSet::Factory1440 return RangeFactory.deletePoint(Domain, IntType.getZeroValue()); in assumeNonZero()2156 UpdatedConstraint = RangeFactory.deletePoint(UpdatedConstraint, *Point); in assign()2576 FirstConstraint = RF.deletePoint(FirstConstraint, *Point); in addToDisequalityInfo()3073 New = F.deletePoint(New, Point); in assumeSymNE()