E.1.7 配列とポインタ (G.3.7)

E.1.7.1 (6.3.3.4, 7.1.1) 配列の最大サイズを維持するのに必要な整数型。 すなわち、sizeof 演算子の size_t の型

stddef.h において定義されている unsigned int です。

-Xarch=v9 では unsigned long です。

(6.3.4) ポインタを整数に cast で型変換した結果、またはその逆の結果

ポインタおよび int、long、unsigned int、unsigned long 型の値ではビットパターンは変わりません。

(6.3.6, 7.1.1) 同じ配列のメンバーへの 2 つのポインタの相違 ptrdiff_t を維持するのに必要な整数型

stddef.h において定義された int 型です。

-Xarch=v9 の場合は long 型です。