Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp297 Range(ValueFactory.getValue(Lower), ValueFactory.getValue(Upper))); in intersect()
310 Range(ValueFactory.getMinValue(Upper), ValueFactory.getValue(Upper))); in intersect()
312 Range(ValueFactory.getValue(Lower), ValueFactory.getMaxValue(Lower))); in intersect()
412 return getRangeSet(ValueFactory.getValue(Point)); in intersect()
422 const llvm::APSInt &MIN = ValueFactory.getMinValue(SampleValue); in negate()
423 const llvm::APSInt &MAX = ValueFactory.getMaxValue(SampleValue); in negate()
449 Result.emplace_back(MIN, ValueFactory.getValue(-Last->From())); in negate()
459 Result.emplace_back(ValueFactory.getValue(-To), MAX); in negate()
469 const llvm::APSInt &NewFrom = ValueFactory.getValue(-It->To()); in negate()
470 const llvm::APSInt &NewTo = ValueFactory.getValue(-It->From()); in negate()
[all …]
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h122 Factory(BasicValueFactory &BV) : ValueFactory(BV) {} in Factory()
226 BasicValueFactory &ValueFactory; variable