Mercurial > hg > CbC > CbC_gcc
comparison gcc/testsuite/gcc.dg/qual-component-1.c @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
68:561a7518be6b | 111:04ced10e8804 |
---|---|
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 } |