¿Error en el ejemplo rápido (libro K&R C)?

Este ordenamiento rápido debe clasificar "v [izquierda] ... v [derecha] en orden creciente"; copiado (sin comentarios) del lenguaje de programación C por K&R (segunda edición):

void qsort(int v[], int left, int right)
{
    int i, last;
    void swap(int v[], int i, int j);

    if (left >= right)
        return;
    swap(v, left, (left + right) / 2);
    last = left;
    for (i = left+1; i <= right; i++)
        if (v[i] < v[left])
            swap(v, ++last, i);
    swap(v, left, last);
    qsort(v, left, last-1);
    qsort(v, last+1, right);
}

Creo que hay un error en

(left + right) / 2

Suppose left = INT_MAX - 1 y right = INT_MAX. ¿No resultaría esto en un comportamiento indefinido debido al desbordamiento de enteros?

Respuestas a la pregunta(4)

Su respuesta a la pregunta