Что означает «контроль достигает конца непустой функции»?

Я получаю странные ошибки компилятора в этом алгоритме двоичного поиска. Я получаю предупреждение, что элемент управления достигает конца непустой функции . Что это означает?

int binary(int val, int sorted[], int low, int high) {
    int mid = (low+high)/2;

    if(high < low)
        return -1;

    if(val < sorted[mid])
        return binary(val, sorted, low, mid-1);

    else if(val > sorted[mid])
        return binary(val, sorted, mid+1, high);

    else if(val == sorted[mid])
        return mid;
}