Информация об изменениях

Сообщение 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".

Я не очень понимаю, для чего тебе понадобилось префразировать собственные высказывания, но перед этим ты утверждал буквально следующее:

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рефразировать собственные высказывания, но перед этим ты утверждал буквально следующее:

TB>Потому что от желания оптимизатора может поменяться результат функции
TB>Лол это и называется уб


Так вот это не верно. Может поменяться результат вызова функции и это не обязательно будет UB (undefined behavior).

Пример:

int a = 42;
int b = foo(a, a += 1);

Результат может быть разным. Но это проявление unspecified behavior, а не undefined.