>>470
ダメな型で読み取りあるいは書き込みしただけでプログラムの動作が未定義になる。それが aliasing rule
https://www.google.co.jp/search?q=aliasing+rule