/* Test warnings and errors for incomplete parameter types. Should
|
/* Test warnings and errors for incomplete parameter types. Should
|
not be warned for in declarations that are not definitions: bug
|
not be warned for in declarations that are not definitions: bug
|
17881. Void types may be a special case, especially for unnamed
|
17881. Void types may be a special case, especially for unnamed
|
parameters and when qualified or with a storage class specifier;
|
parameters and when qualified or with a storage class specifier;
|
see C90 6.5.4.3, DR#017 Q14, C90 TC1, DR#157, C99 J.2 (referencing
|
see C90 6.5.4.3, DR#017 Q14, C90 TC1, DR#157, C99 J.2 (referencing
|
C99 6.7.5.3); the precise rules are unclear. */
|
C99 6.7.5.3); the precise rules are unclear. */
|
/* Origin: Joseph Myers <jsm@polyomino.org.uk> */
|
/* Origin: Joseph Myers <jsm@polyomino.org.uk> */
|
/* { dg-do compile } */
|
/* { dg-do compile } */
|
/* { dg-options "" } */
|
/* { dg-options "" } */
|
|
|
struct s;
|
struct s;
|
void f (struct s);
|
void f (struct s);
|
void (*g)(struct s);
|
void (*g)(struct s);
|
struct t { void (*p)(struct s); };
|
struct t { void (*p)(struct s); };
|
|
|
struct s { int b; };
|
struct s { int b; };
|
void h (struct s x) { }
|
void h (struct s x) { }
|
|
|
void j(struct t2); /* { dg-warning "warning: 'struct t2' declared inside parameter list" } */
|
void j(struct t2); /* { dg-warning "warning: 'struct t2' declared inside parameter list" } */
|
/* { dg-warning "its scope is only" "explanation" { target *-*-* } 19 } */
|
/* { dg-warning "its scope is only" "explanation" { target *-*-* } 19 } */
|
|
|
union u;
|
union u;
|
|
|
void v(union u x) { } /* { dg-error "error: parameter 1 \\('x'\\) has incomplete type" } */
|
void v(union u x) { } /* { dg-error "error: parameter 1 \\('x'\\) has incomplete type" } */
|
|
|
void p(void x); /* { dg-warning "warning: parameter 1 \\('x'\\) has void type" } */
|
void p(void x); /* { dg-warning "warning: parameter 1 \\('x'\\) has void type" } */
|
|
|
void q(const void x); /* { dg-warning "warning: parameter 1 \\('x'\\) has void type" } */
|
void q(const void x); /* { dg-warning "warning: parameter 1 \\('x'\\) has void type" } */
|
|
|