Сообщение Re[17]: Когда это наконец станет defined behavior? от 28.04.2023 20:48
Изменено 28.04.2023 21:42 rg45
Re[17]: Когда это наконец станет defined behavior?
Здравствуйте, T4r4sB, Вы писали:
TB>То, от чего меняется логика при оптимизации — это как раз undefined behavior.
TB>Что и написано по твоей ссылке, целый раздел есть "UB and optimization".
Я не очень понимаю, для чего тебе понадобилось префразировать собственные высказывания, но перед этим ты утверждал буквально следующее:
Так вот это не верно. Может поменяться результат вызова функции и это не обязательно будет UB (undefined behavior).
Приимер:
Результат может быть разным. Но это проявление unspecified behavior, а не undefined.
TB>То, от чего меняется логика при оптимизации — это как раз undefined behavior.
TB>Что и написано по твоей ссылке, целый раздел есть "UB and optimization".
Я не очень понимаю, для чего тебе понадобилось префразировать собственные высказывания, но перед этим ты утверждал буквально следующее:
TB>Потому что от желания оптимизатора может поменяться результат функции
TB>Лол это и называется уб
Так вот это не верно. Может поменяться результат вызова функции и это не обязательно будет UB (undefined behavior).
Приимер:
int a = 42;
int b = foo(a, a += 1);Результат может быть разным. Но это проявление unspecified behavior, а не undefined.
Re[17]: Когда это наконец станет defined behavior?
Здравствуйте, T4r4sB, Вы писали:
TB>То, от чего меняется логика при оптимизации — это как раз undefined behavior.
TB>Что и написано по твоей ссылке, целый раздел есть "UB and optimization".
Я не очень понимаю, для чего тебе понадобилось пeрефразировать собственные высказывания, но перед этим ты утверждал буквально следующее:
Так вот это не верно. Может поменяться результат вызова функции и это не обязательно будет UB (undefined behavior).
Пример:
Результат может быть разным. Но это проявление unspecified behavior, а не undefined.
TB>То, от чего меняется логика при оптимизации — это как раз undefined behavior.
TB>Что и написано по твоей ссылке, целый раздел есть "UB and optimization".
Я не очень понимаю, для чего тебе понадобилось пeрефразировать собственные высказывания, но перед этим ты утверждал буквально следующее:
TB>Потому что от желания оптимизатора может поменяться результат функции
TB>Лол это и называется уб
Так вот это не верно. Может поменяться результат вызова функции и это не обязательно будет UB (undefined behavior).
Пример:
int a = 42;
int b = foo(a, a += 1);Результат может быть разным. Но это проявление unspecified behavior, а не undefined.