Thanks Andreas pointing me to part of the standard that I have missed. However, is it crystal clear in the following parts of the document we are talking about parameters and a return type *after adjustment*?
To be honest, I would still vote for at least a warning. After all, what is the point of writing a constant size for an array parameter if the typechecker throws it away? mikolas 2008/9/22 Andreas Schwab <[EMAIL PROTECTED]>: > "Mikoláš Janota" <[EMAIL PROTECTED]> writes: > >> However, the following declarations >> void p(int p[30]); >> void p(int p[4]); >> >> do not yield a warning. > > See 6.7.5.3#7. > > Andreas. > > -- > Andreas Schwab, SuSE Labs, [EMAIL PROTECTED] > SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany > PGP key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 > "And now for something completely different." > -- Mikoláš Janota M. Sc. School of Computer Science and Informatics, University College Dublin, Belfield, Dublin 4, Ireland
