Searched refs:RangeSet (Results 1 – 2 of 2) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 156 RangeSet RangeSet::Intersect(BasicValueFactory &BV, Factory &F, in Intersect()
180 RangeSet RangeSet::Negate(BasicValueFactory &BV, Factory &F) const { in Negate()
284 RangeSet::Factory F;
299 RangeSet getSymLERange(llvm::function_ref<RangeSet()> RS,
412 static RangeSet assumeNonZero( in assumeNonZero()
414 RangeSet::Factory &F, in assumeNonZero()
416 RangeSet Domain) { in assumeNonZero()
430 static RangeSet applyBitwiseConstraints( in applyBitwiseConstraints()
432 RangeSet::Factory &F, in applyBitwiseConstraints()
433 RangeSet Input, in applyBitwiseConstraints()
[all …]
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | RangedConstraintManager.h | 64 class RangeSet {
73 RangeSet(PrimRangeSet RS) : ranges(RS) {} in RangeSet() function
77 RangeSet addRange(Factory &F, const RangeSet &RS) { in addRange()
81 return RangeSet(Ranges); in addRange()
90 RangeSet(Factory &F, const llvm::APSInt &from, const llvm::APSInt &to) in RangeSet() function
115 RangeSet Intersect(BasicValueFactory &BV, Factory &F, llvm::APSInt Lower,
118 RangeSet Negate(BasicValueFactory &BV, Factory &F) const;
122 bool operator==(const RangeSet &other) const {
129 using ConstraintRangeTy = llvm::ImmutableMap<SymbolRef, RangeSet>;
|