Для категорииA установлены требования по стандарту 60880:
> -- Цитата:
> B.4ag Следует использовать циклы только с постоянными максимальными областями значений переменной цикла
Как реализовывать, в стандарте не сказано.

Ваш пример - это, видимо,вариант линейного поиска, но с зафиксированным максимальным значением и результатом поиска. Для сертификационной комиссии такая реализация будет являться доказательством, в отличие от универсального цикла WHILE, где не гарантирован предел числа итераций. Единственное возражение - предел должен быть постоянным, а не ExprLimit.