Cannot give outermost array-param's length from earlier param

[mlbrooks]

void f( int n, int a[n] );

GCC actual, CFA expected: accept

CFA actual: reject (bad "-CFA" code gen)

For context:

void f( int n, int a[][n] );

GCC actual, CFA actual and expected: accept

Which is to say, the ticket's title is technically wrong. In the buggy case, the user-specified parameter type is a pointer (with specified length, which is a legal C no-op), rather than an array.