Некорректность
Корректная функция — это функция, которая не может вызвать UB, если выполнены её предусловия безопасности.
Некорректная функция может вызвать UB, даже если вы выполнили задокументированные предусловия безопасности.
Некорректный код — плохой.
-
Прочитайте определение некорректных функций.
-
Переведите на неформальный язык: некорректный код не «хороший». Нет, это преуменьшение. Некорректный код — ПЛОХОЙ. Даже если вы играете по задокументированным правилам, некорректный код всё равно может вызвать UB!
-
Мы не хотим никакого некорректного кода в наших репозиториях.
-
Поиск некорректного кода — главная цель ревью кода.