あった。ANSIやISOにも同じ規定があるはず。
JIS X3010:2003
6.5.6 加減演算子
……
さらに，式Pが配列要素の最後の要素を指す場合，
式(P)+1はその配列オブジェクトの最後の要素を一つ超えたところを指し，
式Qが配列オブジェクトの最後の要素を1つ超えたところを指す場合，
式(Q)-1はその配列オブジェクトの最後の要素を指す。
……