🚀 go-pugleaf

In article <40sudg$7jn@newshost.lanl.gov>,
Tanmoy Bhattacharya <tanmoy@qcd.lanl.gov> wrote:
>Is the following translation unit strictly conforming. If not, does it
>_require_ a diagnostic?
>
>void f(int  [5]);
>void f(int x[3]) { }
>
>Cheers
>Tanmoy

Yes, I believe this is strictly conforming.  From ISO 6.5.4.3, last
paragraph before the example:

    ...the parameter type lists, if both are present, shall agree
    in the number of parameters...corresponding parameters shall
    have compatible types....For each parameter declared with
    function or array type, its type for these comparisons is the
    one that results from conversion to a pointer type, as in 6.7.1.

And from ISO 6.7.1:

    A declaration of a parameter as "array of type" shall be adjusted
    to "pointer to type...."

My reading of this is that an array of some particular type will
be seen in a parameter type list as a pointer to that type, regardless
of the length of the array.  In function f above, the lengths are
therefore ignored, yielding compatible pointer types.

-Jon