>>330
Cでも未定義動作だよ。
JIS C (JIS X 3010:2003) 6.5.6 加減演算子
> 　整数型をもつ式をポインタに加算又はポインタから減算する場合，結果は，ポインタオペランドの型を
> もつ。（中略）ポインタオペランド及びその結
> 果の両方が同じ配列オブジェクトの要素，又は配列オブジェクトの最後の要素を一つ越えたところを指し
> ている場合，演算によって，オーバフローを生じてはならない。それ以外の場合，動作は未定義とする。