On Mon, Jan 26, 2026 at 01:49:16PM +0100, Alejandro Colomar wrote: > Proposed wording > Based on N3685. > > 6.7.7.3 Array declarators > @@ Constraints, p1 > In addition to optional type qualifiers and the keyword static, > the [ and ] can delimit an expression or *. > If they delimit an expression, > called the array length expression, > the expression shall have an integer type. > If the expression is a constant expression, > -it shall have a value greater than zero. > +it shall have a nonnegative value. > +An array length expression > +that is a constant expression with value zero > +shall appear only in > +a declaration of a function parameter with an array type, > +and then only in the outermost array type derivation.
This change did not have any motivating example within the discussion. Providing a motivational example showing why it is useful to allow array parameters whose constant length is zero would be good. Daniel.
