643                                               MonotonicValueRange* right_range) {  in HandleIfBetweenTwoMonotonicValueRanges()  argument
655         right_range->GetIncrement() == -1 &&  in HandleIfBetweenTwoMonotonicValueRanges()
656         right_range->GetBound().IsRelatedToArrayLength() &&  in HandleIfBetweenTwoMonotonicValueRanges()
657         right_range->GetBound().GetConstant() < 0) {  in HandleIfBetweenTwoMonotonicValueRanges()
685             right_range->GetBound().Add(left_compensation, &overflow, &underflow));  in HandleIfBetweenTwoMonotonicValueRanges()
694             right_range->GetBound());  in HandleIfBetweenTwoMonotonicValueRanges()
738       ValueRange* right_range = LookupValueRange(right, block);  in HandleIf()  local
739       if (right_range != nullptr) {  in HandleIf()
740         if (right_range->IsMonotonicValueRange()) {  in HandleIf()
744                                                    right_range->AsMonotonicValueRange());  in HandleIf()
748         lower = right_range->GetLower();  in HandleIf()
749         upper = right_range->GetUpper();  in HandleIf()
1011       ValueRange* right_range = LookupValueRange(right, sub->GetBlock());  in VisitSub()  local
1012       if (right_range != nullptr) {  in VisitSub()
1013         ValueBound lower = right_range->GetLower();  in VisitSub()
1014         ValueBound upper = right_range->GetUpper();  in VisitSub()