1193                                               MonotonicValueRange* right_range) {  in HandleIfBetweenTwoMonotonicValueRanges()  argument
1205         right_range->GetIncrement() == -1 &&  in HandleIfBetweenTwoMonotonicValueRanges()
1206         right_range->GetBound().IsRelatedToArrayLength() &&  in HandleIfBetweenTwoMonotonicValueRanges()
1207         right_range->GetBound().GetConstant() < 0) {  in HandleIfBetweenTwoMonotonicValueRanges()
1235             right_range->GetBound().Add(left_compensation, &overflow, &underflow));  in HandleIfBetweenTwoMonotonicValueRanges()
1244             right_range->GetBound());  in HandleIfBetweenTwoMonotonicValueRanges()
1288       ValueRange* right_range = LookupValueRange(right, block);  in HandleIf()  local
1289       if (right_range != nullptr) {  in HandleIf()
1290         if (right_range->IsMonotonicValueRange()) {  in HandleIf()
1294                                                    right_range->AsMonotonicValueRange());  in HandleIf()
1298         lower = right_range->GetLower();  in HandleIf()
1299         upper = right_range->GetUpper();  in HandleIf()
1616       ValueRange* right_range = LookupValueRange(right, sub->GetBlock());  in VisitSub()  local
1617       if (right_range != nullptr) {  in VisitSub()
1618         ValueBound lower = right_range->GetLower();  in VisitSub()
1619         ValueBound upper = right_range->GetUpper();  in VisitSub()