1 /* Test warnings and errors for incomplete parameter types. Should
2 not be warned for in declarations that are not definitions: bug
3 17881. Void types may be a special case, especially for unnamed
4 parameters and when qualified or with a storage class specifier;
5 see C90 6.5.4.3, DR#017 Q14, C90 TC1, DR#157, C99 J.2 (referencing
6 C99 6.7.5.3); the precise rules are unclear. */
7 /* Origin: Joseph Myers <jsm@polyomino.org.uk> */
8 /* { dg-do compile } */
9 /* { dg-options "" } */
10
11 struct s;
12 void f (struct s);
13 void (*g)(struct s);
14 struct t { void (*p)(struct s); };
15
16 struct s { int b; };
h(struct s x)17 void h (struct s x) { }
18
19 void j(struct t2); /* { dg-warning "'struct t2' declared inside parameter list" } */
20
21 union u;
22
v(union u x)23 void v(union u x) { } /* { dg-error "parameter 1 \\('x'\\) has incomplete type" } */
24
25 void p(void x); /* { dg-warning "parameter 1 \\('x'\\) has void type" } */
26
27 void q(const void x); /* { dg-warning "parameter 1 \\('x'\\) has void type" } */
28