配列に対するポインタが指せる位置は配列要素+1まで保証しなければならない、という規則があったと思いますが
それはオーバーフローにはならないのですか。
配列要素+1には書き込めないような予防措置があるなんて聞いたこともないのですが