Home
last modified time | relevance | path

Searched defs:getRangeSet (Results 1 – 5 of 5) sorted by relevance

/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h173 RangeSet getRangeSet(const llvm::APSInt &From, const llvm::APSInt &To) { in getRangeSet() function
176 RangeSet getRangeSet(const llvm::APSInt &Origin) { in getRangeSet() function
/llvm-project/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp365 FlatAffineValueConstraints FlatAffineRelation::getRangeSet() const { in getRangeSet() function in FlatAffineRelation
/llvm-project/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp198 PresburgerSet PresburgerRelation::getRangeSet() const { in getRangeSet() function in PresburgerRelation
H A DIntegerRelation.cpp2419 IntegerPolyhedron IntegerRelation::getRangeSet() const { getRangeSet() function in IntegerRelation
/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp318 RangeSet RangeSet::Factory::getRangeSet(Range From) { in getRangeSet() function in RangeSet::Factory