>>542
*(uint32_t*)0x???????? = 0x???????? が任意アドレスへのストア命令にコンパイルされる、
とかいうのは伝統的に利用されてきた未定義動作と言えるかな。