On Fri, 26 Jul 2024, Alejandro Colomar via Gcc wrote:

quoted

See reflector message SC22WG14.18575, 17 Nov 2020 (the former convenor 
replying when I asked about just that paper).

Where can I find reflector messages?

https://www.open-std.org/jtc1/sc22/wg14/18575

And another one to propose that [n] means the same as [static n] except
for the nonnull property of static.

I'm not convinced that introducing extra undefined behavior for things 
that have been valid since C89 (which would be the effect of such a change 
for any code that passes a smaller array) is a good idea - the general 
mood is to *reduce* undefined behavior.

-- 
Joseph S. Myers
josmyers@redhat.com