|
111
|
1 /* Test qualification of components of qualified structures or unions:
|
|
|
2 should have qualifiers from both the component and the structure or
|
|
|
3 union. Bug 27697 from Frank Victor Fischer. */
|
|
|
4 /* Origin: Joseph Myers <joseph@codesourcery.com> */
|
|
|
5 /* { dg-do compile } */
|
|
|
6 /* { dg-options "-pedantic -Wdiscarded-array-qualifiers" } */
|
|
|
7
|
|
|
8 struct s {
|
|
|
9 int a;
|
|
|
10 int b[1];
|
|
|
11 int c[2][3];
|
|
|
12 const int d;
|
|
|
13 const int e[1];
|
|
|
14 const int f[2][3];
|
|
|
15 };
|
|
|
16
|
|
|
17 union u {
|
|
|
18 int a;
|
|
|
19 int b[1];
|
|
|
20 int c[2][3];
|
|
|
21 const int d;
|
|
|
22 const int e[1];
|
|
|
23 const int f[2][3];
|
|
|
24 };
|
|
|
25
|
|
|
26 struct cs {
|
|
|
27 const struct s x;
|
|
|
28 };
|
|
|
29
|
|
|
30 struct s v1;
|
|
|
31 union u *v2;
|
|
|
32 const struct s *v3;
|
|
|
33 const union u v4;
|
|
|
34 struct cs v5;
|
|
|
35
|
|
|
36 void
|
|
|
37 f (void)
|
|
|
38 {
|
|
|
39 v1.a = 0;
|
|
|
40 v1.b[0] = 0;
|
|
|
41 *v1.b = 0;
|
|
|
42 v1.c[0][0] = 0;
|
|
|
43 *v1.c[0] = 0;
|
|
|
44 **v1.c = 0;
|
|
|
45 v1.d = 0; /* { dg-error "assignment of read-only" } */
|
|
|
46 v1.e[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
47 *v1.e = 0; /* { dg-error "assignment of read-only" } */
|
|
|
48 v1.f[0][0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
49 *v1.f[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
50 **v1.f = 0; /* { dg-error "assignment of read-only" } */
|
|
|
51
|
|
|
52 v2->a = 0;
|
|
|
53 v2->b[0] = 0;
|
|
|
54 *v2->b = 0;
|
|
|
55 v2->c[0][0] = 0;
|
|
|
56 *v2->c[0] = 0;
|
|
|
57 **v2->c = 0;
|
|
|
58 v2->d = 0; /* { dg-error "assignment of read-only" } */
|
|
|
59 v2->e[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
60 *v2->e = 0; /* { dg-error "assignment of read-only" } */
|
|
|
61 v2->f[0][0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
62 *v2->f[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
63 **v2->f = 0; /* { dg-error "assignment of read-only" } */
|
|
|
64
|
|
|
65 v3->a = 0; /* { dg-error "assignment of member" } */
|
|
|
66 v3->b[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
67 *v3->b = 0; /* { dg-error "assignment of read-only" } */
|
|
|
68 v3->c[0][0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
69 *v3->c[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
70 **v3->c = 0; /* { dg-error "assignment of read-only" } */
|
|
|
71 v3->d = 0; /* { dg-error "assignment of member" } */
|
|
|
72 v3->e[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
73 *v3->e = 0; /* { dg-error "assignment of read-only" } */
|
|
|
74 v3->f[0][0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
75 *v3->f[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
76 **v3->f = 0; /* { dg-error "assignment of read-only" } */
|
|
|
77
|
|
|
78 v4.a = 0; /* { dg-error "assignment of member" } */
|
|
|
79 v4.b[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
80 *v4.b = 0; /* { dg-error "assignment of read-only" } */
|
|
|
81 v4.c[0][0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
82 *v4.c[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
83 **v4.c = 0; /* { dg-error "assignment of read-only" } */
|
|
|
84 v4.d = 0; /* { dg-error "assignment of member" } */
|
|
|
85 v4.e[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
86 *v4.e = 0; /* { dg-error "assignment of read-only" } */
|
|
|
87 v4.f[0][0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
88 *v4.f[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
89 **v4.f = 0; /* { dg-error "assignment of read-only" } */
|
|
|
90
|
|
|
91 v5.x.a = 0; /* { dg-error "assignment of member" } */
|
|
|
92 v5.x.b[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
93 *v5.x.b = 0; /* { dg-error "assignment of read-only" } */
|
|
|
94 v5.x.c[0][0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
95 *v5.x.c[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
96 **v5.x.c = 0; /* { dg-error "assignment of read-only" } */
|
|
|
97 v5.x.d = 0; /* { dg-error "assignment of member" } */
|
|
|
98 v5.x.e[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
99 *v5.x.e = 0; /* { dg-error "assignment of read-only" } */
|
|
|
100 v5.x.f[0][0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
101 *v5.x.f[0] = 0; /* { dg-error "assignment of read-only" } */
|
|
|
102 **v5.x.f = 0; /* { dg-error "assignment of read-only" } */
|
|
|
103 }
|
|
|
104
|
|
|
105 void
|
|
|
106 g (void)
|
|
|
107 {
|
|
|
108 {
|
|
|
109 int *a = &v1.a;
|
|
|
110 int (*b)[1] = &v1.b;
|
|
|
111 int (*c)[2][3] = &v1.c;
|
|
|
112 int (*cc)[3] = v1.c;
|
|
|
113 const int (*ff)[3] = v1.c; /* { dg-warning "pointers to arrays with different qualifiers" } */
|
|
|
114 a = &v1.a;
|
|
|
115 b = &v1.b;
|
|
|
116 c = &v1.c;
|
|
|
117 cc = v1.c;
|
|
|
118 ff = v1.c; /* { dg-warning "pointers to arrays with different qualifiers" } */
|
|
|
119 }
|
|
|
120 {
|
|
|
121 const int *d = &v1.d;
|
|
|
122 const int (*e)[1] = &v1.e;
|
|
|
123 const int (*f)[2][3] = &v1.f;
|
|
|
124 const int (*ff)[3] = v1.f;
|
|
|
125 int (*cc)[3] = v1.f; /* { dg-warning "pointers to arrays with different qualifiers|initialization discards" } */
|
|
|
126 d = &v1.d;
|
|
|
127 e = &v1.e;
|
|
|
128 f = &v1.f;
|
|
|
129 ff = v1.f;
|
|
|
130 cc = v1.f; /* { dg-warning "pointers to arrays with different qualifiers|assignment discards" } */
|
|
|
131 }
|
|
|
132
|
|
|
133 {
|
|
|
134 int *a = &v2->a;
|
|
|
135 int (*b)[1] = &v2->b;
|
|
|
136 int (*c)[2][3] = &v2->c;
|
|
|
137 int (*cc)[3] = v2->c;
|
|
|
138 const int (*ff)[3] = v2->c; /* { dg-warning "pointers to arrays with different qualifiers" } */
|
|
|
139 a = &v2->a;
|
|
|
140 b = &v2->b;
|
|
|
141 c = &v2->c;
|
|
|
142 cc = v2->c;
|
|
|
143 ff = v2->c; /* { dg-warning "pointers to arrays with different qualifiers" } */
|
|
|
144 }
|
|
|
145 {
|
|
|
146 const int *d = &v2->d;
|
|
|
147 const int (*e)[1] = &v2->e;
|
|
|
148 const int (*f)[2][3] = &v2->f;
|
|
|
149 const int (*ff)[3] = v2->f;
|
|
|
150 int (*cc)[3] = v2->f; /* { dg-warning "pointers to arrays with different qualifiers|initialization discards" } */
|
|
|
151 d = &v2->d;
|
|
|
152 e = &v2->e;
|
|
|
153 f = &v2->f;
|
|
|
154 ff = v2->f;
|
|
|
155 cc = v2->f; /* { dg-warning "pointers to arrays with different qualifiers|assignment discards" } */
|
|
|
156 }
|
|
|
157
|
|
|
158 {
|
|
|
159 const int *d = &v3->a;
|
|
|
160 const int (*e)[1] = &v3->b;
|
|
|
161 const int (*f)[2][3] = &v3->c;
|
|
|
162 const int (*ff)[3] = v3->c;
|
|
|
163 int (*cc)[3] = v3->c; /* { dg-warning "pointers to arrays with different qualifiers|initialization discards" } */
|
|
|
164 d = &v3->a;
|
|
|
165 e = &v3->b;
|
|
|
166 f = &v3->c;
|
|
|
167 ff = v3->c;
|
|
|
168 cc = v3->c; /* { dg-warning "pointers to arrays with different qualifiers|assignment discards" } */
|
|
|
169 }
|
|
|
170 {
|
|
|
171 const int *d = &v3->d;
|
|
|
172 const int (*e)[1] = &v3->e;
|
|
|
173 const int (*f)[2][3] = &v3->f;
|
|
|
174 const int (*ff)[3] = v3->f;
|
|
|
175 int (*cc)[3] = v3->f; /* { dg-warning "pointers to arrays with different qualifiers|initialization discards" } */
|
|
|
176 d = &v3->d;
|
|
|
177 e = &v3->e;
|
|
|
178 f = &v3->f;
|
|
|
179 ff = v3->f;
|
|
|
180 cc = v3->f; /* { dg-warning "pointers to arrays with different qualifiers|assignment discards" } */
|
|
|
181 }
|
|
|
182
|
|
|
183 {
|
|
|
184 const int *d = &v4.a;
|
|
|
185 const int (*e)[1] = &v4.b;
|
|
|
186 const int (*f)[2][3] = &v4.c;
|
|
|
187 const int (*ff)[3] = v4.c;
|
|
|
188 int (*cc)[3] = v4.c; /* { dg-warning "pointers to arrays with different qualifiers|initialization discards" } */
|
|
|
189 d = &v4.a;
|
|
|
190 e = &v4.b;
|
|
|
191 f = &v4.c;
|
|
|
192 ff = v4.c;
|
|
|
193 cc = v4.c; /* { dg-warning "pointers to arrays with different qualifiers|assignment discards" } */
|
|
|
194 }
|
|
|
195 {
|
|
|
196 const int *d = &v4.d;
|
|
|
197 const int (*e)[1] = &v4.e;
|
|
|
198 const int (*f)[2][3] = &v4.f;
|
|
|
199 const int (*ff)[3] = v4.f;
|
|
|
200 int (*cc)[3] = v4.f; /* { dg-warning "pointers to arrays with different qualifiers|initialization discards" } */
|
|
|
201 d = &v4.d;
|
|
|
202 e = &v4.e;
|
|
|
203 f = &v4.f;
|
|
|
204 ff = v4.f;
|
|
|
205 cc = v4.f; /* { dg-warning "pointers to arrays with different qualifiers|assignment discards" } */
|
|
|
206 }
|
|
|
207
|
|
|
208 {
|
|
|
209 const int *d = &v5.x.a;
|
|
|
210 const int (*e)[1] = &v5.x.b;
|
|
|
211 const int (*f)[2][3] = &v5.x.c;
|
|
|
212 const int (*ff)[3] = v5.x.c;
|
|
|
213 int (*cc)[3] = v5.x.c; /* { dg-warning "pointers to arrays with different qualifiers|initialization discards" } */
|
|
|
214 d = &v5.x.a;
|
|
|
215 e = &v5.x.b;
|
|
|
216 f = &v5.x.c;
|
|
|
217 ff = v5.x.c;
|
|
|
218 cc = v5.x.c; /* { dg-warning "pointers to arrays with different qualifiers|assignment discards" } */
|
|
|
219 }
|
|
|
220 {
|
|
|
221 const int *d = &v5.x.d;
|
|
|
222 const int (*e)[1] = &v5.x.e;
|
|
|
223 const int (*f)[2][3] = &v5.x.f;
|
|
|
224 const int (*ff)[3] = v5.x.f;
|
|
|
225 int (*cc)[3] = v5.x.f; /* { dg-warning "pointers to arrays with different qualifiers|initialization discards" } */
|
|
|
226 d = &v5.x.d;
|
|
|
227 e = &v5.x.e;
|
|
|
228 f = &v5.x.f;
|
|
|
229 ff = v5.x.f;
|
|
|
230 cc = v5.x.f; /* { dg-warning "pointers to arrays with different qualifiers|assignment discards" } */
|
|
|
231 }
|
|
|
232 }
|
