Searched refs:IntersectInRange (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | RangeConstraintManager.cpp | 114 void IntersectInRange(BasicValueFactory &BV, Factory &F, in IntersectInRange() function in __anon7dca5b270111::RangeSet
256 IntersectInRange(BV, F, Lower, Upper, newRanges, i, e); in Intersect()
261 IntersectInRange(BV, F, BV.getMinValue(Upper), Upper, newRanges, i, e); in Intersect()
262 IntersectInRange(BV, F, Lower, BV.getMaxValue(Lower), newRanges, i, e); in Intersect()
|