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