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::Factory1438 return RangeFactory.deletePoint(Domain, IntType.getZeroValue()); in assumeNonZero()2141 UpdatedConstraint = RangeFactory.deletePoint(UpdatedConstraint, *Point); in assign()2561 FirstConstraint = RF.deletePoint(FirstConstraint, *Point); in addToDisequalityInfo()3063 New = F.deletePoint(New, Point); in assumeSymNE()