Почему возврат -1; не является частью условного оператора в вызове алгоритма бинарного поиска Академии Хана?

Я работаю с двоичным файлом Khan Academy. Search Algorithm Challenge, и я просмотрел вопросы, связанные с этой задачей на этом сайте, но не нашел вопроса, подобного моему, связанного с ней.

Мой вопрос: почему выражение return -1; не является частью условного оператора, так что результат -1 возвращается только в том случае, если искомое простое число отсутствует в массиве?

Мне удалось решить задачу самостоятельно, но это потому, что эта часть функции уже задана задачей. Поэтому я не понимаю, почему в приведенной ниже функции return -1; идет в конце после цикла while и, кажется, применяется в любом состоянии. Мне кажется, что это дает результат -1 независимо от того, находится ли targetValue в массиве (хотя на самом деле это не так, и функция работает так, как должна).

/* Returns either the index of the location in the array,
  or -1 if the array did not contain the targetValue */
var doSearch = function(array, targetValue) {
    var min = 0;
    var max = array.length - 1;
    var guess;
    while(min <= max) {
        guess = Math.floor((max + min)/2);
        if(array[guess]===targetValue) {
            return guess;
        }
        else if(array[guess] < targetValue) {
            min = guess + 1;
        }
        else {
            max = guess - 1;
        }
        println(guess);
    }
    return -1;
};
var primes = [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 
        41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97];

var result = doSearch(primes, 73);
println("Found prime at index " + result);