§6.5.8\6 (>、<、<=、>= について)
式 P が配列オブジェクトの要素を指し、式 Q が同じ配列オブジェクトの最後の要素を指している場合、ポインター式 Q+1 は P より大きいと比較されます。それ以外の場合、動作は未定義です。
上記のいくつかのセクション、§6.5.8 では、基本的に、ポインター演算は配列に対して期待どおりに機能することが説明されています。つまりint a[3]; int *p = a; int *q = &a[2]; //q-p == 3
有効です。ただし、上記を読むq > p
とUBです。
私は何が欠けていますか?