Home
last modified time | relevance | path

Searched refs:deletePoint (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h211 RangeSet deletePoint(RangeSet From, const llvm::APSInt &Point);
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp848 RangeSet RangeSet::Factory::deletePoint(RangeSet From, in deletePoint() function in RangeSet::Factory
1450 return RangeFactory.deletePoint(Domain, IntType.getZeroValue()); in assumeNonZero()
2073 UpdatedConstraint = RangeFactory.deletePoint(UpdatedConstraint, *Point); in assign()
2493 FirstConstraint = RF.deletePoint(FirstConstraint, *Point); in addToDisequalityInfo()
2969 New = F.deletePoint(New, Point); in assumeSymNE()
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DRangeSetTest.cpp256 RangeSet Result = F.deletePoint(From, Point); in checkDeleteImpl()