История изменений
Исправление soomrack, (текущая версия) :
Спс.
Я как-то серьезно не задумывался об этом пункте раньше.
А ведь он весьма и весьма противоречивый, программа может зациклиться из-за неправильных входных данных, и тогда, такая программа будет UB, хотя при нормальных данных все ок.
А ловко они с алгоритмически неразрешимой проблемой останова обошлись!
Криптографические схемы с таким подходом реализовывать это сплошное UB будет, в котором еще и не докажешь, что это компилятор виноват, а не ты.
PS:
Нет, требования terminate это однозначно плохое требование, т.к. оно ошибку программиста в виде бесконечного выполнения цикла превращает в UB.
Исправление soomrack, :
Спс.
Я как-то серьезно не задумывался об этом пункте раньше.
А ведь он весьма и весьма противоречивый, программа может зациклиться из-за неправильных входных данных, и тогда, такая программа будет UB, хотя при нормальных данных все ок.
А ловко они с алгоритмически неразрешимой проблемой останова обошлись!
Криптографические схемы с таким подходом реализовывать это сплошное UB будет, в котором еще и не докажешь, что это компилятор виноват, а не ты.
PS:
Нет, требования terminate это однозначно плохое требование, т.к. оно ошибку программиста в виде бесконечного выполнения цикла превращает в UB.
Хотя, тут я могу все еще сказать, что прямым текстом тут не написано, что это UB, но из этого пункта следует, что программа не well-formed.
Исправление soomrack, :
Спс.
Я как-то серьезно не задумывался об этом пункте раньше.
А ведь он весьма и весьма противоречивый, программа может зациклиться из-за неправильных входных данных, и тогда, такая программа будет UB, хотя при нормальных данных все ок.
А ловко они с алгоритмически неразрешимой проблемой останова обошлись!
Криптографические схемы с таким подходом реализовывать это сплошное UB будет, в котором еще и не докажешь, что это компилятор виноват, а не ты.
Исходная версия soomrack, :
Спс.
Я как-то серьезно не задумывался об этом пункте раньше.
А ведь он весьма и весьма противоречивый, программа может зациклиться из-за неправильных входных данных, и тогда, такая программа будет UB, хотя при нормальных данных все ок.
А ловко они с алгоритмической неразрешимой проблемой обошлись!
Криптографические схемы с таким подходом реализовывать это сплошное UB будет, в котором еще и не докажешь, что это компилятор виноват, а не ты.