История изменений
Исправление
kvpfs,
(текущая версия)
:
А где здесь UB? Не вижу, валидный код.
Хотя, да, если указатели друг друга алиасят, то сайд эффекты не обязаны просочиться из одной половины &, должно быть UB по идее. Значит ваша статья в мою пользу - не смотря на UB в коде, компиляторы не делают из этого никаких выводов и не ломают дальнейший код, они «прощают» программисту эту ошибку.
Исправление
kvpfs,
:
А где здесь UB? Не вижу, валидный код.
Хотя, да, если указатели друг друга алиасят, то сайд эффекты не обязаны просочиться из одной половины &, должно быть UB по идее. Значит ваша статья в мою пользу - не смотря на UB в коде, компиляторы не делают из этого никаких выводов и не ломают дальнейший код, они ему «прощают» эту ошибку.
Исходная версия
kvpfs,
:
А где здесь UB? Не вижу, валидный код.
Хотя, да, если указатели друг друга алиасят, то сайд эффекты не обязаны просачиться из одной половины &, должно быть UB по идее. Значит ваша статья в мою пользу - не смотря на UB в коде, компиляторы не делают из этого никаких выводов и не ломают дальнейший код, они ему «прощают» эту ошибку.