Searched refs:deletePoint (Results 1 – 2 of 2) sorted by relevance
186 RangeSet deletePoint(RangeSet From, const llvm::APSInt &Point);
480 RangeSet RangeSet::Factory::deletePoint(RangeSet From, in deletePoint() function in RangeSet::Factory1063 return RangeFactory.deletePoint(Domain, IntType.getZeroValue()); in assumeNonZero()1540 UpdatedConstraint = F.deletePoint(UpdatedConstraint, *Point); in setConstraint()1855 FirstConstraint = RF.deletePoint(FirstConstraint, *Point); in addToDisequalityInfo()2201 New = F.deletePoint(New, Point); in assumeSymNE()