Searched refs:IntersectInRange (Results 1 – 2 of 2) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 26 void RangeSet::IntersectInRange(BasicValueFactory &BV, Factory &F, in IntersectInRange() function in RangeSet
165 IntersectInRange(BV, F, Lower, Upper, newRanges, i, e); in Intersect()
170 IntersectInRange(BV, F, BV.getMinValue(Upper), Upper, newRanges, i, e); in Intersect()
171 IntersectInRange(BV, F, Lower, BV.getMaxValue(Lower), newRanges, i, e); in Intersect()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | RangedConstraintManager.h | 105 void IntersectInRange(BasicValueFactory &BV, Factory &F,
|