История изменений
Исправление red75prim, (текущая версия) :
Потому что UB может возникать только при некоторых значениях параметров. Кроме тривиальных случаев, компилятор не может доказать, что UB возникнет или не возникнет (следствие алгоритмической неразрешимости проблемы остановки).
Так что решать неразрешимую задачу приходится программисту (шутка).
Исправление red75prim, :
Потому что UB может возникать только при некоторых значениях параметров. Кроме тривиальных случаев, компилятор не может доказать, что UB возникнет или не возникнет (следствие алгоритмической неразрешимости проблемы остановки).
Так что решать неразрешимую задачу приходится программисту.
Исходная версия red75prim, :
Потому что UB может возникать только при некоторых значениях параметров. Кроме тривиальных случаев, компилятор не может доказать, что UB возникнет или не возникнет (следствие алгоритмической неразрешимости проблемы остановки).