EG
Внешне выглядит что это про side effects, которые изменяют execution environment, который совершенно не обязательно процессор
Size: a a a
2021 May 01
EG
В моей интуиции volatile может лежать в регистре, если на него ни разу не взяли ссылку
B
да, но мы уже взяли поинтер
EG
Ваще 4.2, если не прописано, что операция должна делать, то это UB.
*ptr прописано только для объектов и функций, стало быть, делать это не с объектом и не с функцией — UBEG
Ты не можешь объявить адрес volatile, только переменную. И у тебя нет переменной, которая лежит на
0x1337B
6.7.3.6 видимо
B
а всмысле не могу?
EG
А как?
EG
Ты ж не можешь сделать
volatile 0x1337;AN
мой поинт был в том что в ядре там скорее всего сравниваются с NULL указатели которые не из адресс спейса пользователя. поэтому там нету указателей на адресс 0
B
volatile int *
EG
Это у тебя сам pointer будет volatile, а не память за ним
EG
B
неа, int * volatile тогда поинтер
EG
Подожди, неважно, это требует только выполнять всё по правилам abstract machine
EG
Которые никак не учитывают возможности чтения не-объекта
EG
Это про запрет оптимизаций, а не про то, что ты можешь нарушать правила
AN
если же пользователь заммапил NULL и собрал gcc то он ссзб :(
B
а импл гарантирует нам там объект
EG
Импл это компилятор, а не платформа