🚀 go-pugleaf

In <40sudg$7jn@newshost.lanl.gov> tanmoy@qcd.lanl.gov (Tanmoy Bhattacharya) writes:

>Is the following translation unit strictly conforming. If not, does it
>_require_ a diagnostic?
>
>void f(int  [5]);
>void f(int x[3]) { }

No diagnostic is _required_.

    ANSI 3.5.4.3:

    (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 $3.7.1. ...)

    ANSI 3.7.1:

    A declaration of a parameter as ``array of type '' shall be adjusted to
    ``pointer to type ,'' ...

So, your example "decays" to:

void f(int *);
void f(int *x) { }

And the declaration is perfectly compatible with the definition.

Dan
--
Dan Pop
CERN, CN Division
Email: Dan.Pop@mail.cern.ch 
Mail:  CERN - PPE, Bat. 31 R-004, CH-1211 Geneve 23, Switzerland