d
red75prime
Если оптимизация включена, то компилятор может вообще выкинуть часть кода, потому что UB.
че?
Size: a a a
2020 March 20
d
пример в студию
d
годболт
r
let t = 1; let rt = &t; unsafe { t = 2 }; println!("{}", rt); Может выкинуть t = 2AK
С
-Zmutable-noalias=yes вроде тоже самое 🤔Этот флаг включает noalias ортимизацию... в теории. Но по дефолту она отключена, т.к. с этим есть проблемы в ллвм. Да и в асинк авейт тоже беда с алиасингом
AK
d
Alexander Krivitskiy
Этот флаг включает noalias ортимизацию... в теории. Но по дефолту она отключена, т.к. с этим есть проблемы в ллвм. Да и в асинк авейт тоже беда с алиасингом
в теории да, ты по факту видел?
AK
в теории да, ты по факту видел?
Нет
d
Alexander Krivitskiy
Нет
вот! я тоже не видел
r
Важна принципиальная возможность. Мири проверяет алиасинг в рантайме, поэтому этот алиасинг должен точно быть в сгенерированном коде. Зачем надеяться, что он не будет выкинут? Поэтому код для мири должен генериться без учета того, что
&mut уникальный, а & - константныйAK
Алекс, это делается легко, зависит от архитектуры).
Мне было интересно посмотреть на импакт от этого. Что произойдет? Куда-то не присвоится значение?
BV
BV
говорят как-то в гцц ломало ядро линуха
BV
но там хак на хаке
d
Алекс, ты ищешь странного)
r
но там хак на хаке
В гцц или ядре?
BV
red75prime
В гцц или ядре?
и там и там