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()
|