>>592
「Cでは保証されてる」って、何が？

Cでも環境依存のパディングが入る可能性があるのは同じだし型ベースのエイリアシングルールは
あるし、>>586のいうようなアクセスについて保証はないでしょ。
「ちゃんとアクセス」の意味によるのかもしれないけど。