>>845
>配列に対するポインタが指せる位置は配列要素+1まで保証しなければならない、という規則があったと思いますが

ある。その通り。

>それはオーバーフローにはならないのですか。

ポインタが指せる位置が保証されているだけ。
読み書きしなければ、オーバーフローにはならないだろ？

>配列要素+1には書き込めないような予防措置があるなんて聞いたこともないのですが

そんな措置はない。