そもそも未定義動作となってるのが本当に正しいんですかね。 Cでも同じことできると思いますけどそれは未定義になっているんだろうか。