Home
last modified time | relevance | path

Searched refs:RangeSet (Results 1 – 2 of 2) sorted by relevance

/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h70 class RangeSet {
129 RangeSet add(RangeSet LHS, RangeSet RHS);
135 RangeSet add(RangeSet Original, Range Element);
141 RangeSet add(RangeSet Original, const llvm::APSInt &Point);
160 RangeSet intersect(RangeSet LHS, RangeSet RHS);
180 RangeSet intersect(RangeSet What, llvm::APSInt Point);
214 RangeSet negate(RangeSet What);
240 RangeSet(const RangeSet &) = default;
241 RangeSet &operator=(const RangeSet &) = default;
242 RangeSet(RangeSet &&) = default;
[all …]
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp113 RangeSet RangeSet::Factory::add(RangeSet Original, Range Element) { in add()
125 RangeSet RangeSet::Factory::add(RangeSet Original, const llvm::APSInt &Point) { in add()
158 RangeSet RangeSet::Factory::add(RangeSet LHS, RangeSet RHS) { in add()
277 RangeSet RangeSet::Factory::intersect(RangeSet What, llvm::APSInt Lower, in intersect()
320 RangeSet RangeSet::Factory::intersect(const RangeSet::ContainerType &LHS, in intersect()
403 RangeSet RangeSet::Factory::intersect(RangeSet LHS, RangeSet RHS) { in intersect()
412 RangeSet RangeSet::Factory::intersect(RangeSet LHS, llvm::APSInt Point) { in intersect()
419 RangeSet RangeSet::Factory::negate(RangeSet What) { in negate()
482 RangeSet RangeSet::Factory::deletePoint(RangeSet From, in deletePoint()
735 LLVM_NODISCARD inline RangeSet intersect(RangeSet::Factory &F, RangeSet Head,
[all …]