1 /* Test for C99 forms of array declarator. */
2 /* Origin: Joseph Myers <jsm28@cam.ac.uk> */
3 /* { dg-do compile } */
4 /* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
5
6 /* Because GCC doesn't yet implement it, we don't yet test for [*] here. */
7
8 /* Test each of: [quals], [quals expr], [static expr], [static quals expr],
9 [quals static expr]. Not yet: [quals *]. */
10
11 void f00 (int a[const]);
12 void f01 (int [const]);
13
14 void
f02(int a[const])15 f02 (int a[const])
16 {
17 int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
18 /* { dg-error "discards" "discards quals" { target *-*-* } 17 } */
19 int *const *c = &a;
20 }
21 void
f03(a)22 f03 (a)
23 int a[const];
24 {
25 int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
26 /* { dg-error "discards" "discards quals" { target *-*-* } 25 } */
27 int *const *c = &a;
28 }
29
30 void f10 (int a[const 2]);
31 void f11 (int [const 2]);
32
33 void
f12(int a[const2])34 f12 (int a[const 2])
35 {
36 int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
37 /* { dg-error "discards" "discards quals" { target *-*-* } 36 } */
38 int *const *c = &a;
39 }
40 void
f13(a)41 f13 (a)
42 int a[const 2];
43 {
44 int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
45 /* { dg-error "discards" "discards quals" { target *-*-* } 44 } */
46 int *const *c = &a;
47 }
48
49 void f20 (int a[static 2]);
50 void f21 (int [static 2]);
51
52 void
f22(int a[static2])53 f22 (int a[static 2])
54 {
55 int **b = &a;
56 int *const *c = &a;
57 }
58 void
f23(a)59 f23 (a)
60 int a[static 2];
61 {
62 int **b = &a;
63 int *const *c = &a;
64 }
65
66 void f30 (int a[static const 2]);
67 void f31 (int [static const 2]);
68
69 void
f32(int a[static const2])70 f32 (int a[static const 2])
71 {
72 int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
73 /* { dg-error "discards" "discards quals" { target *-*-* } 72 } */
74 int *const *c = &a;
75 }
76 void
f33(a)77 f33 (a)
78 int a[static const 2];
79 {
80 int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
81 /* { dg-error "discards" "discards quals" { target *-*-* } 80 } */
82 int *const *c = &a;
83 }
84
85 void f40 (int a[const static 2]);
86 void f41 (int [const static 2]);
87
88 void
f42(int a[const static2])89 f42 (int a[const static 2])
90 {
91 int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
92 /* { dg-error "discards" "discards quals" { target *-*-* } 91 } */
93 int *const *c = &a;
94 }
95 void
f43(a)96 f43 (a)
97 int a[const static 2];
98 {
99 int **b = &a; /* { dg-bogus "warning" "warning in place of error" } */
100 /* { dg-error "discards" "discards quals" { target *-*-* } 99 } */
101 int *const *c = &a;
102 }
103
104 /* Test rejection of static and type qualifiers in non-parameter contexts. */
105 int x[const 2]; /* { dg-bogus "warning" "warning in place of error" } */
106 /* { dg-error "non-parameter" "quals in non-parm array" { target *-*-* } 105 } */
107 int y[static 2]; /* { dg-bogus "warning" "warning in place of error" } */
108 /* { dg-error "non-parameter" "static in non-parm array" { target *-*-* } 107 } */
109 void g (int a[static 2][3]);
110 void h (int a[2][static 3]); /* { dg-bogus "warning" "warning in place of error" } */
111 /* { dg-error "non-parameter" "static in non-final parm array" { target *-*-* } 110 } */
112