>>768
type-based aliasing rule (strict aliasing rule) というものがあってな。
（詳しく調べると闇に落ちるから言語オタクでもなければ深堀りはおすすめしない。）

mempcy なら動作が定義されてるかというとそうでもないんで、
明示的に未定義といわれているかどうか（＝最適化で問題を起こしやすいかどうか）の違いしかないんだけど。