Searched refs:RangeRight (Results 1 – 1 of 1) sorted by relevance
1010 const llvm::APSInt &RangeRight = BVF.getValue(R[E - 1].second + 1ULL, ArgT); in applyOnOutOfRange() local1028 if (RangeRight != MinusInf) { in applyOnOutOfRange()1029 assert(RangeRight <= PlusInf); in applyOnOutOfRange()1030 if (!F(RangeRight, PlusInf)) in applyOnOutOfRange()