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

А я увидел человека, кто не может сгенерировать ассемблерный листинг и изучить его.

> затем придумываете гипотетические задачи,
> в которых эта функция не используется вовсе.

Потому что реальную задачу Вы не показали.

> Если я вызываю strlen(s),
> то это означает, что мне неизвестна длина строки (внешние данные), а

Вот именно. На практике для каждой такой строки определяется её длина. Если требуется эффективно находить строки длиной 5 - их длина оказывается уже посчитана при проверке входных данных.

> если я вызываю strnlen(s, 6), это означает что мне не нужна
> точная длина строки, я лишь хочу убедится, что ее длина больше
> 5.

В №75 написано: if (strlen(s) == 5) --> if (strnlen(s, 6) == 5)

Изначально Вы искали строки длиной равной 5 и интересовались, способен ли транслятор заменить вызов стандартной функции на функцию, о которой он ничего не знает.

Вы, наверное, удивитесь, но:
1. в стандарте есть только strnlen_s (определена ли она по умолчанию - implementation defined);
2. исходники популярной программы GNU bash содержат файл bash/lib/sh/strnlen.c с реализацией strnlen.