>>736
少なくとも標準規格では、ポインタが
配列の最後の要素の次を指すのは問題ないとなっている。
（もちろんそこから逆参照しない限り）

それ以外の外れた場所を指すポインタはまずかったはずだが、
未定義だか処理系依存だかまでは覚えていない。