https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112761
--- Comment #4 from nrk at disroot dot org --- > 6.7.6.3#7 A declaration of a parameter as ''array of type'' shall be adjusted > to ''qualified pointer to type'' Though after a bit more thought I guess it makes sense that the adjustment happens afterwards. Since otherwise `int f(void p[]);` would've also been valid, but that's not the case.