Array size check: required in stack array, forbidden in parameter declaration

[ForNeVeR]

See TODO[#126] in the code: array size should be required for stack array local declaration (like char[100] xxx;), and should be forbidden (or should it? check with the C standard, please) for a parameter declaration (like void foo(char[100] xxx);).

[Griboedoff]

looks like it you can declare function like this void foo(char x[100]) and it is equal to void foo(char x[])

[ForNeVeR]

looks like it you can declare function like this void foo(char x[100]) and it is equal to void foo(char x[])

Corresponds to my (fading) knowledge of C.