回答編集履歴

  「オブジェクトに格納された値に対するアクセスは，次のうちのいずれか1つの型を持つ左辺値によらなければならない。」は、このルールに従えば、その「変なこと」に該当しないということですね。

 

  yohhoyさんの記事の「壊れたバージョン」のプログラムの`uint16_t *ptr=(uint16_t*)&acopy;`の`*ptr`は`acopy`と互換性がないため、`ptr`が`acopy`の一部をポイントしていないとコンパイラは仮定してよいわけです。（どうみてもポイントしてますが、ルール上それが許されることになります。）

 

  [古いコンパイラでは再現しました](https://wandbox.org/permlink/m15lp5figZNDFlbl)。警告もでます。しかし、これより新しいものではことごとく再現せず、警告もでませんでした。削除しないコンパイラも少なくないということですね。