配列のパラメータ宣言 int a[static 10] (C99)の意味はどれか。

意味はaは少なくとも10要素の有効な配列を指していることを保証する。