1 /* Test for old-style definition followed by prototype declaration.
2 Mismatched qualifiers used to be wrongly forbidden. */
3 /* Origin: Joseph Myers <joseph@codesourcery.com> */
4 /* { dg-do compile } */
5 /* { dg-options "" } */
6
f1()7 void f1() {}
8 void f1(void); /* { dg-warning "prototype for 'f1' follows non-prototype definition" } */
9
f2()10 void f2() {} /* { dg-message "note: previous definition of 'f2' was here" } */
11 void f2(int); /* { dg-error "prototype for 'f2' declares more arguments than previous old-style definition" } */
12
f3(a)13 void f3(a) int a; {} /* { dg-message "note: previous definition of 'f3' was here" } */
14 void f3(void); /* { dg-error "prototype for 'f3' declares fewer arguments than previous old-style definition" } */
15
f4(a)16 void f4(a) int a; {}
17 void f4(int); /* { dg-warning "prototype for 'f4' follows non-prototype definition" } */
18
f5(a)19 void f5(a) int a; {} /* { dg-message "note: previous definition of 'f5' was here" } */
20 void f5(int, int); /* { dg-error "prototype for 'f5' declares more arguments than previous old-style definition" } */
21
f6(a)22 void f6(a) int a; {} /* { dg-message "note: previous definition of 'f6' was here" } */
23 void f6(int, ...); /* { dg-error "conflicting types for 'f6'" } */
24
f7(a,b)25 void f7(a, b) int a, b; {} /* { dg-message "note: previous definition of 'f7' was here" } */
26 void f7(int); /* { dg-error "prototype for 'f7' declares fewer arguments than previous old-style definition" } */
27
f8(a,b)28 void f8(a, b) int a, b; {} /* { dg-message "note: previous definition of 'f8' was here" } */
29 void f8(int, ...); /* { dg-error "conflicting types for 'f8'" } */
30
f9(a,b)31 void f9(a, b) int a, b; {}
32 void f9(int, int); /* { dg-warning "prototype for 'f9' follows non-prototype definition" } */
33
f10(a,b)34 void f10(a, b) int a, b; {} /* { dg-message "note: previous definition of 'f10' was here" } */
35 void f10(int, long); /* { dg-error "prototype for 'f10' declares argument 2 with incompatible type" } */
36
f11(a,b)37 void f11(a, b) int a, b; {} /* { dg-message "note: previous definition of 'f11' was here" } */
38 void f11(long, int); /* { dg-error "prototype for 'f11' declares argument 1 with incompatible type" } */
39
f12(a,b)40 void f12(a, b) const int a; volatile int b; {}
41 void f12(volatile int, const int); /* { dg-warning "prototype for 'f12' follows non-prototype definition" } */
42
f13(a)43 void f13(a) const int a[2][2]; {} /* { dg-message "note: previous definition of 'f13' was here" } */
44 void f13(volatile int [2][2]); /* { dg-error "prototype for 'f13' declares argument 1 with incompatible type" } */
45