AN
в реальном коде не будет всегда ноль, значит он не сможет доказать
Size: a a a
2021 May 01
EG
Во-первых, это неважно, это всё равно не NULL и эту проверку можно статически выкинуть полностью.
П
volatile не фиксит это
EG
Во-вторых, если ты честно выпишешь
то ничего не изменится
void* zero = mmap(0, 1, PROT_READ | PROT_WRITE, MAP_FIXED | MAP_ANON, 0, 0)то ничего не изменится
EG
Я просто упростил пример, чтобы он не требовал прав рута для запуска
EG
А ещё б он фиксил. Там нет оптимизации, там честное побитовое сравнение.
EG
Которого там быть не должно, потому что с точки зрения стандарта C поинтеры нельзя сравнивать побитово.
EG
У них есть provenance, у них есть NULL-статус и прочие страшные слова
EG
Но все компиляторы всё равно делают именно побитовое сравнение, и весь наш kernel-код опирается именно на это
EG
Как страшно жить
П
Как всегда, в принципе
B
так, как заставить компилятор поверить в то, что one — динамичен
П
volatile
EG
Он уже динамичен. Но ты можешь прочитать его с STDIN, если не веришь.
EG
Или получить как результат выполнения какой-нибудь команды.
EG
Результат будет тот же самый.
EG
Проблема в
==, которое сравнивает поинтеры побитово, хотя не имеет права.B
так, тут кста 6.3.2.3.5
B
не UB
EG
Там в других местах не совсем понятно что делать, если этот integer не был получен из поинтера.