Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/gcc.dg/builtin-object-size-4.c @ 111:04ced10e8804

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 /* { dg-do run } */
2 /* { dg-options "-O2" } */
3 /* { dg-require-effective-target alloca } */
4
5 typedef __SIZE_TYPE__ size_t;
6 extern void abort (void);
7 extern void exit (int);
8 extern void *malloc (size_t);
9 extern void *calloc (size_t, size_t);
10 extern void *alloca (size_t);
11 extern void *memcpy (void *, const void *, size_t);
12 extern void *memset (void *, int, size_t);
13 extern char *strcpy (char *, const char *);
14
15 struct A
16 {
17 char a[10];
18 int b;
19 char c[10];
20 } y, w[4];
21
22 extern char exta[];
23 extern char extb[30];
24 extern struct A extc[];
25 struct A zerol[0];
26
27 void
28 __attribute__ ((noinline))
29 test1 (void *q, int x)
30 {
31 struct A a;
32 void *p = &a.a[3], *r;
33 char var[x + 10];
34 struct A vara[x + 10];
35 if (x < 0)
36 r = &a.a[9];
37 else
38 r = &a.c[1];
39 if (__builtin_object_size (p, 3) != sizeof (a.a) - 3)
40 abort ();
41 if (__builtin_object_size (&a.c[9], 3)
42 != sizeof (a.c) - 9)
43 abort ();
44 if (__builtin_object_size (q, 3) != 0)
45 abort ();
46 if (__builtin_object_size (r, 3) != sizeof (a.a) - 9)
47 abort ();
48 if (x < 6)
49 r = &w[2].a[1];
50 else
51 r = &a.a[6];
52 if (__builtin_object_size (&y, 3) != sizeof (y))
53 abort ();
54 if (__builtin_object_size (w, 3) != sizeof (w))
55 abort ();
56 if (__builtin_object_size (&y.b, 3) != sizeof (a.b))
57 abort ();
58 if (__builtin_object_size (r, 3) != sizeof (a.a) - 6)
59 abort ();
60 if (x < 20)
61 r = malloc (30);
62 else
63 r = calloc (2, 16);
64 if (__builtin_object_size (r, 3) != 30)
65 abort ();
66 if (x < 20)
67 r = malloc (30);
68 else
69 r = calloc (2, 14);
70 if (__builtin_object_size (r, 3) != 2 * 14)
71 abort ();
72 if (x < 30)
73 r = malloc (sizeof (a));
74 else
75 r = &a.a[3];
76 if (__builtin_object_size (r, 3) != sizeof (a.a) - 3)
77 abort ();
78 r = memcpy (r, "a", 2);
79 if (__builtin_object_size (r, 3) != sizeof (a.a) - 3)
80 abort ();
81 r = memcpy (r + 2, "b", 2) + 2;
82 if (__builtin_object_size (r, 3) != sizeof (a.a) - 3 - 4)
83 abort ();
84 r = &a.a[4];
85 r = memset (r, 'a', 2);
86 if (__builtin_object_size (r, 3) != sizeof (a.a) - 4)
87 abort ();
88 r = memset (r + 2, 'b', 2) + 2;
89 if (__builtin_object_size (r, 3) != sizeof (a.a) - 8)
90 abort ();
91 r = &a.a[1];
92 r = strcpy (r, "ab");
93 if (__builtin_object_size (r, 3) != sizeof (a.a) - 1)
94 abort ();
95 r = strcpy (r + 2, "cd") + 2;
96 if (__builtin_object_size (r, 3) != sizeof (a.a) - 5)
97 abort ();
98 if (__builtin_object_size (exta, 3) != 0)
99 abort ();
100 if (__builtin_object_size (exta + 10, 3) != 0)
101 abort ();
102 if (__builtin_object_size (&exta[5], 3) != 0)
103 abort ();
104 if (__builtin_object_size (extb, 3) != sizeof (extb))
105 abort ();
106 if (__builtin_object_size (extb + 10, 3) != sizeof (extb) - 10)
107 abort ();
108 if (__builtin_object_size (&extb[5], 3) != sizeof (extb) - 5)
109 abort ();
110 if (__builtin_object_size (extc, 3) != 0)
111 abort ();
112 if (__builtin_object_size (extc + 10, 3) != 0)
113 abort ();
114 if (__builtin_object_size (&extc[5], 3) != 0)
115 abort ();
116 if (__builtin_object_size (&extc->a, 3) != 0)
117 abort ();
118 if (__builtin_object_size (&(extc + 10)->b, 3) != 0)
119 abort ();
120 if (__builtin_object_size (&extc[5].c[3], 3) != 0)
121 abort ();
122 if (__builtin_object_size (var, 3) != 0)
123 abort ();
124 if (__builtin_object_size (var + 10, 3) != 0)
125 abort ();
126 if (__builtin_object_size (&var[5], 3) != 0)
127 abort ();
128 if (__builtin_object_size (vara, 3) != 0)
129 abort ();
130 if (__builtin_object_size (vara + 10, 3) != 0)
131 abort ();
132 if (__builtin_object_size (&vara[5], 3) != 0)
133 abort ();
134 if (__builtin_object_size (&vara[0].a, 3) != sizeof (vara[0].a))
135 abort ();
136 if (__builtin_object_size (&vara[10].a[0], 3) != sizeof (vara[0].a))
137 abort ();
138 if (__builtin_object_size (&vara[5].a[4], 3) != sizeof (vara[0].a) - 4)
139 abort ();
140 if (__builtin_object_size (&vara[5].b, 3) != sizeof (vara[0].b))
141 abort ();
142 if (__builtin_object_size (&vara[7].c[7], 3) != sizeof (vara[0].c) - 7)
143 abort ();
144 if (__builtin_object_size (zerol, 3) != 0)
145 abort ();
146 if (__builtin_object_size (&zerol, 3) != 0)
147 abort ();
148 if (__builtin_object_size (&zerol[0], 3) != 0)
149 abort ();
150 if (__builtin_object_size (zerol[0].a, 3) != 0)
151 abort ();
152 if (__builtin_object_size (&zerol[0].a[0], 3) != 0)
153 abort ();
154 if (__builtin_object_size (&zerol[0].b, 3) != 0)
155 abort ();
156 if (__builtin_object_size ("abcdefg", 3) != sizeof ("abcdefg"))
157 abort ();
158 if (__builtin_object_size ("abcd\0efg", 3) != sizeof ("abcd\0efg"))
159 abort ();
160 if (__builtin_object_size (&"abcd\0efg", 3) != sizeof ("abcd\0efg"))
161 abort ();
162 if (__builtin_object_size (&"abcd\0efg"[0], 3) != sizeof ("abcd\0efg"))
163 abort ();
164 if (__builtin_object_size (&"abcd\0efg"[4], 3) != sizeof ("abcd\0efg") - 4)
165 abort ();
166 if (__builtin_object_size ("abcd\0efg" + 5, 3) != sizeof ("abcd\0efg") - 5)
167 abort ();
168 if (__builtin_object_size (L"abcdefg", 3) != sizeof (L"abcdefg"))
169 abort ();
170 r = (char *) L"abcd\0efg";
171 if (__builtin_object_size (r + 2, 3) != sizeof (L"abcd\0efg") - 2)
172 abort ();
173 }
174
175 size_t l1 = 1;
176
177 void
178 __attribute__ ((noinline))
179 test2 (void)
180 {
181 struct B { char buf1[10]; char buf2[10]; } a;
182 char *r, buf3[20];
183 int i;
184
185 if (sizeof (a) != 20)
186 return;
187
188 r = buf3;
189 for (i = 0; i < 4; ++i)
190 {
191 if (i == l1 - 1)
192 r = &a.buf1[1];
193 else if (i == l1)
194 r = &a.buf2[7];
195 else if (i == l1 + 1)
196 r = &buf3[5];
197 else if (i == l1 + 2)
198 r = &a.buf1[9];
199 }
200 if (__builtin_object_size (r, 3) != sizeof (a.buf1) - 9)
201 abort ();
202 r = &buf3[20];
203 for (i = 0; i < 4; ++i)
204 {
205 if (i == l1 - 1)
206 r = &a.buf1[7];
207 else if (i == l1)
208 r = &a.buf2[7];
209 else if (i == l1 + 1)
210 r = &buf3[5];
211 else if (i == l1 + 2)
212 r = &a.buf1[9];
213 }
214 if (__builtin_object_size (r, 3) != 0)
215 abort ();
216 r = &buf3[1];
217 for (i = 0; i < 4; ++i)
218 {
219 if (i == l1 - 1)
220 r = &a.buf1[6];
221 else if (i == l1)
222 r = &a.buf2[4];
223 else if (i == l1 + 1)
224 r = &buf3[5];
225 else if (i == l1 + 2)
226 r = &a.buf1[2];
227 }
228 if (__builtin_object_size (r, 3) != sizeof (a.buf1) - 6)
229 abort ();
230 r += 2;
231 if (__builtin_object_size (r, 3) != sizeof (a.buf1) - 6 - 2)
232 abort ();
233 if (__builtin_object_size (r + 1, 3) != sizeof (a.buf1) - 6 - 3)
234 abort ();
235 }
236
237 void
238 __attribute__ ((noinline))
239 test3 (void)
240 {
241 char buf4[10];
242 struct B { struct A a[2]; struct A b; char c[4]; char d; double e;
243 _Complex double f; } x;
244 double y;
245 _Complex double z;
246 double *dp;
247
248 if (__builtin_object_size (buf4, 3) != sizeof (buf4))
249 abort ();
250 if (__builtin_object_size (&buf4, 3) != sizeof (buf4))
251 abort ();
252 if (__builtin_object_size (&buf4[0], 3) != sizeof (buf4))
253 abort ();
254 if (__builtin_object_size (&buf4[1], 3) != sizeof (buf4) - 1)
255 abort ();
256 if (__builtin_object_size (&x, 3) != sizeof (x))
257 abort ();
258 if (__builtin_object_size (&x.a, 3) != sizeof (x.a))
259 abort ();
260 if (__builtin_object_size (&x.a[0], 3) != sizeof (x.a))
261 abort ();
262 if (__builtin_object_size (&x.a[0].a, 3) != sizeof (x.a[0].a))
263 abort ();
264 if (__builtin_object_size (&x.a[0].a[0], 3) != sizeof (x.a[0].a))
265 abort ();
266 if (__builtin_object_size (&x.a[0].a[3], 3) != sizeof (x.a[0].a) - 3)
267 abort ();
268 if (__builtin_object_size (&x.a[0].b, 3) != sizeof (x.a[0].b))
269 abort ();
270 if (__builtin_object_size (&x.a[1].c, 3) != sizeof (x.a[1].c))
271 abort ();
272 if (__builtin_object_size (&x.a[1].c[0], 3) != sizeof (x.a[1].c))
273 abort ();
274 if (__builtin_object_size (&x.a[1].c[3], 3) != sizeof (x.a[1].c) - 3)
275 abort ();
276 if (__builtin_object_size (&x.b, 3) != sizeof (x.b))
277 abort ();
278 if (__builtin_object_size (&x.b.a, 3) != sizeof (x.b.a))
279 abort ();
280 if (__builtin_object_size (&x.b.a[0], 3) != sizeof (x.b.a))
281 abort ();
282 if (__builtin_object_size (&x.b.a[3], 3) != sizeof (x.b.a) - 3)
283 abort ();
284 if (__builtin_object_size (&x.b.b, 3) != sizeof (x.b.b))
285 abort ();
286 if (__builtin_object_size (&x.b.c, 3) != sizeof (x.b.c))
287 abort ();
288 if (__builtin_object_size (&x.b.c[0], 3) != sizeof (x.b.c))
289 abort ();
290 if (__builtin_object_size (&x.b.c[3], 3) != sizeof (x.b.c) - 3)
291 abort ();
292 if (__builtin_object_size (&x.c, 3) != sizeof (x.c))
293 abort ();
294 if (__builtin_object_size (&x.c[0], 3) != sizeof (x.c))
295 abort ();
296 if (__builtin_object_size (&x.c[1], 3) != sizeof (x.c) - 1)
297 abort ();
298 if (__builtin_object_size (&x.d, 3) != sizeof (x.d))
299 abort ();
300 if (__builtin_object_size (&x.e, 3) != sizeof (x.e))
301 abort ();
302 if (__builtin_object_size (&x.f, 3) != sizeof (x.f))
303 abort ();
304 dp = &__real__ x.f;
305 if (__builtin_object_size (dp, 3) != sizeof (x.f) / 2)
306 abort ();
307 dp = &__imag__ x.f;
308 if (__builtin_object_size (dp, 3) != sizeof (x.f) / 2)
309 abort ();
310 dp = &y;
311 if (__builtin_object_size (dp, 3) != sizeof (y))
312 abort ();
313 if (__builtin_object_size (&z, 3) != sizeof (z))
314 abort ();
315 dp = &__real__ z;
316 if (__builtin_object_size (dp, 3) != sizeof (z) / 2)
317 abort ();
318 dp = &__imag__ z;
319 if (__builtin_object_size (dp, 3) != sizeof (z) / 2)
320 abort ();
321 }
322
323 struct S { unsigned int a; };
324
325 char *
326 __attribute__ ((noinline))
327 test4 (char *x, int y)
328 {
329 register int i;
330 struct A *p;
331
332 for (i = 0; i < y; i++)
333 {
334 p = (struct A *) x;
335 x = (char *) &p[1];
336 if (__builtin_object_size (p, 3) != 0)
337 abort ();
338 }
339 return x;
340 }
341
342 void
343 __attribute__ ((noinline))
344 test5 (size_t x)
345 {
346 struct T { char buf[64]; char buf2[64]; } t;
347 char *p = &t.buf[8];
348 size_t i;
349
350 for (i = 0; i < x; ++i)
351 p = p + 4;
352 if (__builtin_object_size (p, 3) != 0)
353 abort ();
354 memset (p, ' ', sizeof (t.buf) - 8 - 4 * 4);
355 }
356
357 void
358 __attribute__ ((noinline))
359 test6 (void)
360 {
361 char buf[64];
362 struct T { char buf[64]; char buf2[64]; } t;
363 char *p = &buf[64], *q = &t.buf[64];
364
365 if (__builtin_object_size (p + 64, 3) != 0)
366 abort ();
367 if (__builtin_object_size (q + 0, 3) != 0)
368 abort ();
369 if (__builtin_object_size (q + 64, 3) != 0)
370 abort ();
371 }
372
373 void
374 __attribute__ ((noinline))
375 test7 (void)
376 {
377 struct T { char buf[10]; char buf2[10]; } t;
378 char *p = &t.buf2[-4];
379 char *q = &t.buf2[0];
380 if (__builtin_object_size (p, 3) != 0)
381 abort ();
382 if (__builtin_object_size (q, 3) != sizeof (t.buf2))
383 abort ();
384 q = &t.buf[10];
385 if (__builtin_object_size (q, 3) != 0)
386 abort ();
387 q = &t.buf[11];
388 if (__builtin_object_size (q, 3) != 0)
389 abort ();
390 p = &t.buf[-4];
391 if (__builtin_object_size (p, 3) != 0)
392 abort ();
393 }
394
395 int
396 main (void)
397 {
398 struct S s[10];
399 __asm ("" : "=r" (l1) : "0" (l1));
400 test1 (main, 6);
401 test2 ();
402 test3 ();
403 test4 ((char *) s, 10);
404 test5 (4);
405 test6 ();
406 test7 ();
407 exit (0);
408 }