p
конкретно в твоем варианте компилятор все соптимизировал, он даже не понял что там УБ
if(a == 0){v1} if(v!=0) {v2} и ни одна из веток не исполняется. :)Size: a a a
2020 June 04
DO
я еще какой-то пример видел, там типа переменная a получается в результате UB, и есть две ветки
SK
я еще какой-то пример видел, там типа переменная a получается в результате UB, и есть две ветки
if(a == 0){v1} if(v!=0) {v2} и ни одна из веток не исполняется. :)Потому что a и v разные переменные?)
DO
ой, :)
DO
ну там одна и та же переменная была в примере :)
p
UB говорит что поведение программы неопределено
DO
типа как с NaN
p
поэтому скомпилироваться может любая дичь
p
попробуй создать две &mut ссылки на одну переменную в раст
DO
Вооот, а почему бы компилятору сразу на такое не ругаться?..
p
он тоже дичь полную выдаст
DO
через unsafe?
p
через unsafe?
да
p
Вооот, а почему бы компилятору сразу на такое не ругаться?..
я же говорю, компилятор не всегда может статически определить присутсвие УБ в коде
DO
Да, но он зачем-то начинает дичь творить, мог бы падать с ошибкой?..
p
даже человек может потратить несколько часов прежде чем найдет УБ
p
Да, но он зачем-то начинает дичь творить, мог бы падать с ошибкой?..
предполагается что данного случая не произойдет никогда, в этом суть UB
SK
Да, но он зачем-то начинает дичь творить, мог бы падать с ошибкой?..
Кто дичь творить начинает?
p
компилятор всегда считает что действия программы будут определенными спецификацией. если человек совершает действие которое не определено спецификацией, компилятор компилирует как буд-то этого действия нет
DO
компилятор. Начинает странно оптимизировать.