Size: a a a

2021 May 01

B

Börgar in rust_offtopic
контроллера/процессора
источник

EG

Emmanuel Goldstein in rust_offtopic
Не, не спасает.
У тебя компилятор может просто выкинуть такое обращение к памяти и до процессора оно просто не дойдёт
источник

EG

Emmanuel Goldstein in rust_offtopic
Объекты на уровень абстракции выше
источник

B

Börgar in rust_offtopic
неа, тк то + то равно imlementation
источник

EG

Emmanuel Goldstein in rust_offtopic
Это то, о чём я говорю — мы опираемся на то, что в реальности обращение по поинтеру ловерится именно в обращение к памяти
источник

EG

Emmanuel Goldstein in rust_offtopic
Это UB, а не implementation-defined behaviour
источник

B

Börgar in rust_offtopic
а вообще да, и он часто так делает даже при указательных указателях
источник

EG

Emmanuel Goldstein in rust_offtopic
J.2.1, в самом начале
источник

EG

Emmanuel Goldstein in rust_offtopic
А нет, вру
источник

B

Börgar in rust_offtopic
а вообще volatile как раз чтоб это решить
источник

EG

Emmanuel Goldstein in rust_offtopic
Я не готов разбираться в том, как на самом деле должен работать volatile
источник

EG

Emmanuel Goldstein in rust_offtopic
В Rust его один фиг нет
источник

B

Börgar in rust_offtopic
5.1.2.2.3.2
источник

EG

Emmanuel Goldstein in rust_offtopic
Нет такого пункта
источник

EG

Emmanuel Goldstein in rust_offtopic
5.1.2.3.2 видимо
источник

B

Börgar in rust_offtopic
да
источник

EG

Emmanuel Goldstein in rust_offtopic
Не вижу, как это связано и мне влом разбираться
источник

AN

Alex Noname in rust_offtopic
ну окей убедил в gcc нету возможности обычным способом работать с нулевым адресом.
источник

EG

Emmanuel Goldstein in rust_offtopic
Если найдёшь какой-то аргумент, который однозначно решает, UB это или implementation-defined — покажи. Я перестал быть уверен.
источник

B

Börgar in rust_offtopic
это про обязательство компиляции в доступ к памяти
источник