MB
Классическая ХУ проблема. Человеку надо Х, но спрашивает сначало про У
+
Size: a a a
2020 October 01
ΑZ
Разыменование нулевого указателя != сегфолт
с чего бы это
MB
с чего бы это
Первое это UB, а второе это просто некоторый сайд-эффект
ΑZ
Первое это UB, а второе это просто некоторый сайд-эффект
счего бы это уб. Хотя может и уб. Но по факту сегфолт будет скорее всего
MB
Поэтому первое может после компиляции превратиться во второе, а может и во что-то другое
ΑZ
ну ладно, соглашусь
ΑZ
лень спорить про то что будет в результате уб) Ничего хорошего
DF
Не будет сегфолта если ты примапил
DF
Или если ты в эмбедед окружении
DF
Много вариантов
MB
счего бы это уб. Хотя может и уб. Но по факту сегфолт будет скорее всего
https://doc.rust-lang.org/nightly/core/ptr/index.html#safety
A null pointer is never valid, not even for accesses of size zero.
A null pointer is never valid, not even for accesses of size zero.
MB
Dollar Føølish
Не будет сегфолта если ты примапил
Хоть ты сто раз примапь, пока ты читаешь не через inline asm будет UB
DF
Передаешь 0 , Map_Fixed
DF
И у тебя нулевая страница доступна для чтения/записи
ΑZ
Хоть ты сто раз примапь, пока ты читаешь не через inline asm будет UB
ну ок, "Разыменовать нулл в inline asm" - устроит?:)
MB
Dollar Føølish
И у тебя нулевая страница доступна для чтения/записи
С точки зрения ОС/процессора - да.
С точки зрения раста/LLVM - нет
С точки зрения раста/LLVM - нет
DF
Я про сегфолт
DF
В расте нет сегфолта
MB
Поэтому поведение все еще неопределено
DF
В ллвм тем более