Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h130 RangeSet add(RangeSet LHS, RangeSet RHS);
136 RangeSet add(RangeSet Original, Range Element);
148 RangeSet unite(RangeSet LHS, RangeSet RHS);
185 RangeSet intersect(RangeSet LHS, RangeSet RHS);
239 RangeSet negate(RangeSet What);
261 RangeSet castTo(RangeSet What, APSIntType Ty);
262 RangeSet castTo(RangeSet What, QualType T);
307 RangeSet(const RangeSet &) = default;
308 RangeSet &operator=(const RangeSet &) = default;
309 RangeSet(RangeSet &&) = default;
[all …]
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp113 RangeSet RangeSet::Factory::add(RangeSet LHS, RangeSet RHS) { in add()
121 RangeSet RangeSet::Factory::add(RangeSet Original, Range Element) { in add()
137 RangeSet RangeSet::Factory::unite(RangeSet LHS, RangeSet RHS) { in unite()
142 RangeSet RangeSet::Factory::unite(RangeSet Original, Range R) { in unite()
153 RangeSet RangeSet::Factory::unite(RangeSet Original, llvm::APSInt From, in unite()
594 RangeSet RangeSet::Factory::intersect(RangeSet LHS, RangeSet RHS) { in intersect()
610 RangeSet RangeSet::Factory::negate(RangeSet What) { in negate()
675 RangeSet RangeSet::Factory::castTo(RangeSet What, APSIntType Ty) { in castTo()
706 RangeSet RangeSet::Factory::castTo(RangeSet What, QualType T) { in castTo()
777 RangeSet::ContainerType RangeSet::Factory::convertTo(RangeSet What, in convertTo()
[all …]
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DRangeSetTest.cpp121 RangeSet::Factory F{BVF};
143 RangeSet RangeSet = F.getEmptySet(); in from() local
145 RangeSet = F.add(RangeSet, from(Raw)); in from()
147 return RangeSet; in from()
155 void checkNegateImpl(RangeSet Original, RangeSet Expected) { in checkNegateImpl()
168 void checkIntersectImpl(RangeSet LHS, PointOrSet RHS, RangeSet Expected) { in checkIntersectImpl()
211 void checkAddImpl(RangeSet LHS, RHSType RHS, RangeSet Expected) { in checkAddImpl()
212 RangeSet Result = F.add(LHS, RHS); in checkAddImpl()
232 void checkUniteImpl(RangeSet LHS, RHSType RHS, RangeSet Expected) { in checkUniteImpl()
233 RangeSet Result = F.unite(LHS, RHS); in checkUniteImpl()
[all …]
/llvm-project-15.0.7/polly/lib/Support/
H A DISLTools.cpp524 isl::set RangeSet = Range.extract_set(Map.get_space().range()); in intersectRange() local
525 return Map.intersect_range(RangeSet); in intersectRange()