Searched refs:deletePoint (Results 1 – 2 of 2) sorted by relevance
186 RangeSet deletePoint(RangeSet From, const llvm::APSInt &Point);
482 RangeSet RangeSet::Factory::deletePoint(RangeSet From, in deletePoint() function in RangeSet::Factory1070 return RangeFactory.deletePoint(Domain, IntType.getZeroValue()); in assumeNonZero()1539 UpdatedConstraint = RangeFactory.deletePoint(UpdatedConstraint, *Point); in assign()2052 FirstConstraint = RF.deletePoint(FirstConstraint, *Point); in addToDisequalityInfo()2425 New = F.deletePoint(New, Point); in assumeSymNE()