Home
last modified time | relevance | path

Searched refs:getRangeSet (Results 1 – 7 of 7) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h172 RangeSet getRangeSet(Range Origin);
173 RangeSet getRangeSet(const llvm::APSInt &From, const llvm::APSInt &To) { in getRangeSet() function
174 return getRangeSet(Range(From, To)); in getRangeSet()
176 RangeSet getRangeSet(const llvm::APSInt &Origin) { in getRangeSet() function
177 return getRangeSet(Origin, Origin); in getRangeSet()
315 : RangeSet(F.getRangeSet(From, To)) {} in RangeSet()
319 : RangeSet(F.getRangeSet(Point)) {} in RangeSet()
/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DIntegerRelationTest.cpp38 IntegerPolyhedron rangeSet = rel.getRangeSet(); in TEST()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h529 IntegerPolyhedron getRangeSet() const;
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/
H A DAffineStructures.h542 FlatAffineValueConstraints getRangeSet() const;
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp2154 IntegerPolyhedron IntegerRelation::getRangeSet() const { in getRangeSet() function in IntegerRelation
2184 assert(getRangeSet().getSpace().isCompatible(poly.getSpace()) && in intersectRange()
2204 assert(getRangeSet().getSpace().isCompatible(rel.getDomainSet().getSpace()) && in compose()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp317 RangeSet RangeSet::Factory::getRangeSet(Range From) { in getRangeSet() function in RangeSet::Factory
605 return getRangeSet(ValueFactory.getValue(Point)); in intersect()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp1626 FlatAffineValueConstraints FlatAffineRelation::getRangeSet() const { in getRangeSet() function in FlatAffineRelation