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