つ
ポインタオペランド(a[i])及びその結果(a+i)の両方が
同じ配列オブジェクトの要素(0=<i,i<(sizeof(a)/sizeof(a[0])))，
又は配列オブジェクトの最後の要素を 一つ越えたところを指している場合，
(i==(sizeof(a)/sizeof(a[0]))演算によって，
オーバフローを生じさせてはならない。
それ以外の場合，動作は未定義とする。