>>595
アドレスとして有効（比較可能）なのは「配列要素を指すアドレスと配列の最後の要素を一つ越えたところを指すアドレス」
実際にアクセスしていいのは「配列要素を指すアドレス」
それ以外は未定義