OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [gcc.dg/] [builtin-object-size-2.c] - Blame information for rev 724

Go to most recent revision | Details | Compare with Previous | View Log

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

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.