Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp151 return unite(Original, Range(ValueFactory.getValue(Point))); in unite()
157 Range(ValueFactory.getValue(From), ValueFactory.getValue(To))); in unite()
496 Range(ValueFactory.getValue(Lower), ValueFactory.getValue(Upper))); in intersect()
509 Range(ValueFactory.getMinValue(Upper), ValueFactory.getValue(Upper))); in intersect()
511 Range(ValueFactory.getValue(Lower), ValueFactory.getMaxValue(Lower))); in intersect()
606 return getRangeSet(ValueFactory.getValue(Point)); in intersect()
616 const llvm::APSInt &MIN = ValueFactory.getMinValue(SampleValue); in negate()
617 const llvm::APSInt &MAX = ValueFactory.getMaxValue(SampleValue); in negate()
643 Result.emplace_back(MIN, ValueFactory.getValue(-Last->From())); in negate()
653 Result.emplace_back(ValueFactory.getValue(-To), MAX); in negate()
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h123 Factory(BasicValueFactory &BV) : ValueFactory(BV) {} in Factory()
265 BasicValueFactory &getValueFactory() const { return ValueFactory; } in getValueFactory()
296 BasicValueFactory &ValueFactory; variable