URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [gcc.dg/] [builtin-object-size-1.c] - Rev 689
Compare with Previous | Blame | View Log
/* { dg-do run } */ /* { dg-options "-O2" } */ typedef __SIZE_TYPE__ size_t; extern void abort (void); extern void exit (int); extern void *malloc (size_t); extern void *calloc (size_t, size_t); extern void *alloca (size_t); extern void *memcpy (void *, const void *, size_t); extern void *memset (void *, int, size_t); extern char *strcpy (char *, const char *); struct A { char a[10]; int b; char c[10]; } y, w[4]; extern char exta[]; extern char extb[30]; extern struct A zerol[0]; void __attribute__ ((noinline)) test1 (void *q, int x) { struct A a; void *p = &a.a[3], *r; char var[x + 10]; if (x < 0) r = &a.a[9]; else r = &a.c[1]; if (__builtin_object_size (p, 0) != sizeof (a) - __builtin_offsetof (struct A, a) - 3) abort (); if (__builtin_object_size (&a.c[9], 0) != sizeof (a) - __builtin_offsetof (struct A, c) - 9) abort (); if (__builtin_object_size (q, 0) != (size_t) -1) abort (); if (__builtin_object_size (r, 0) != sizeof (a) - __builtin_offsetof (struct A, a) - 9) abort (); if (x < 6) r = &w[2].a[1]; else r = &a.a[6]; if (__builtin_object_size (&y, 0) != sizeof (y)) abort (); if (__builtin_object_size (w, 0) != sizeof (w)) abort (); if (__builtin_object_size (&y.b, 0) != sizeof (a) - __builtin_offsetof (struct A, b)) abort (); if (__builtin_object_size (r, 0) != 2 * sizeof (w[0]) - __builtin_offsetof (struct A, a) - 1) abort (); if (x < 20) r = malloc (30); else r = calloc (2, 16); /* We may duplicate this test onto the two exit paths. On one path the size will be 32, the other it will be 30. If we don't duplicate this test, then the size will be 32. */ if (__builtin_object_size (r, 0) != 2 * 16 && __builtin_object_size (r, 0) != 30) abort (); if (x < 20) r = malloc (30); else r = calloc (2, 14); if (__builtin_object_size (r, 0) != 30) abort (); if (x < 30) r = malloc (sizeof (a)); else r = &a.a[3]; if (__builtin_object_size (r, 0) != sizeof (a)) abort (); r = memcpy (r, "a", 2); if (__builtin_object_size (r, 0) != sizeof (a)) abort (); r = memcpy (r + 2, "b", 2) + 2; if (__builtin_object_size (r, 0) != sizeof (a) - 4) abort (); r = &a.a[4]; r = memset (r, 'a', 2); if (__builtin_object_size (r, 0) != sizeof (a) - __builtin_offsetof (struct A, a) - 4) abort (); r = memset (r + 2, 'b', 2) + 2; if (__builtin_object_size (r, 0) != sizeof (a) - __builtin_offsetof (struct A, a) - 8) abort (); r = &a.a[1]; r = strcpy (r, "ab"); if (__builtin_object_size (r, 0) != sizeof (a) - __builtin_offsetof (struct A, a) - 1) abort (); r = strcpy (r + 2, "cd") + 2; if (__builtin_object_size (r, 0) != sizeof (a) - __builtin_offsetof (struct A, a) - 5) abort (); if (__builtin_object_size (exta, 0) != (size_t) -1) abort (); if (__builtin_object_size (exta + 10, 0) != (size_t) -1) abort (); if (__builtin_object_size (&exta[5], 0) != (size_t) -1) abort (); if (__builtin_object_size (extb, 0) != sizeof (extb)) abort (); if (__builtin_object_size (extb + 10, 0) != sizeof (extb) - 10) abort (); if (__builtin_object_size (&extb[5], 0) != sizeof (extb) - 5) abort (); if (__builtin_object_size (var, 0) != (size_t) -1) abort (); if (__builtin_object_size (var + 10, 0) != (size_t) -1) abort (); if (__builtin_object_size (&var[5], 0) != (size_t) -1) abort (); if (__builtin_object_size (zerol, 0) != 0) abort (); if (__builtin_object_size (&zerol, 0) != 0) abort (); if (__builtin_object_size (&zerol[0], 0) != 0) abort (); if (__builtin_object_size (zerol[0].a, 0) != 0) abort (); if (__builtin_object_size (&zerol[0].a[0], 0) != 0) abort (); if (__builtin_object_size (&zerol[0].b, 0) != 0) abort (); if (__builtin_object_size ("abcdefg", 0) != sizeof ("abcdefg")) abort (); if (__builtin_object_size ("abcd\0efg", 0) != sizeof ("abcd\0efg")) abort (); if (__builtin_object_size (&"abcd\0efg", 0) != sizeof ("abcd\0efg")) abort (); if (__builtin_object_size (&"abcd\0efg"[0], 0) != sizeof ("abcd\0efg")) abort (); if (__builtin_object_size (&"abcd\0efg"[4], 0) != sizeof ("abcd\0efg") - 4) abort (); if (__builtin_object_size ("abcd\0efg" + 5, 0) != sizeof ("abcd\0efg") - 5) abort (); if (__builtin_object_size (L"abcdefg", 0) != sizeof (L"abcdefg")) abort (); r = (char *) L"abcd\0efg"; if (__builtin_object_size (r + 2, 0) != sizeof (L"abcd\0efg") - 2) abort (); } size_t l1 = 1; void __attribute__ ((noinline)) test2 (void) { struct B { char buf1[10]; char buf2[10]; } a; char *r, buf3[20]; int i; if (sizeof (a) != 20) return; r = buf3; for (i = 0; i < 4; ++i) { if (i == l1 - 1) r = &a.buf1[1]; else if (i == l1) r = &a.buf2[7]; else if (i == l1 + 1) r = &buf3[5]; else if (i == l1 + 2) r = &a.buf1[9]; } if (__builtin_object_size (r, 0) != 20) abort (); r = &buf3[20]; for (i = 0; i < 4; ++i) { if (i == l1 - 1) r = &a.buf1[7]; else if (i == l1) r = &a.buf2[7]; else if (i == l1 + 1) r = &buf3[5]; else if (i == l1 + 2) r = &a.buf1[9]; } if (__builtin_object_size (r, 0) != 15) abort (); r += 8; if (__builtin_object_size (r, 0) != 7) abort (); if (__builtin_object_size (r + 6, 0) != 1) abort (); r = &buf3[18]; for (i = 0; i < 4; ++i) { if (i == l1 - 1) r = &a.buf1[9]; else if (i == l1) r = &a.buf2[9]; else if (i == l1 + 1) r = &buf3[5]; else if (i == l1 + 2) r = &a.buf1[4]; } if (__builtin_object_size (r + 12, 0) != 4) abort (); } void __attribute__ ((noinline)) test3 (void) { char buf4[10]; struct B { struct A a[2]; struct A b; char c[4]; char d; double e; _Complex double f; } x; double y; _Complex double z; double *dp; if (__builtin_object_size (buf4, 0) != sizeof (buf4)) abort (); if (__builtin_object_size (&buf4, 0) != sizeof (buf4)) abort (); if (__builtin_object_size (&buf4[0], 0) != sizeof (buf4)) abort (); if (__builtin_object_size (&buf4[1], 0) != sizeof (buf4) - 1) abort (); if (__builtin_object_size (&x, 0) != sizeof (x)) abort (); if (__builtin_object_size (&x.a, 0) != sizeof (x)) abort (); if (__builtin_object_size (&x.a[0], 0) != sizeof (x)) abort (); if (__builtin_object_size (&x.a[0].a, 0) != sizeof (x)) abort (); if (__builtin_object_size (&x.a[0].a[0], 0) != sizeof (x)) abort (); if (__builtin_object_size (&x.a[0].a[3], 0) != sizeof (x) - 3) abort (); if (__builtin_object_size (&x.a[0].b, 0) != sizeof (x) - __builtin_offsetof (struct A, b)) abort (); if (__builtin_object_size (&x.a[1].c, 0) != sizeof (x) - sizeof (struct A) - __builtin_offsetof (struct A, c)) abort (); if (__builtin_object_size (&x.a[1].c[0], 0) != sizeof (x) - sizeof (struct A) - __builtin_offsetof (struct A, c)) abort (); if (__builtin_object_size (&x.a[1].c[3], 0) != sizeof (x) - sizeof (struct A) - __builtin_offsetof (struct A, c) - 3) abort (); if (__builtin_object_size (&x.b, 0) != sizeof (x) - __builtin_offsetof (struct B, b)) abort (); if (__builtin_object_size (&x.b.a, 0) != sizeof (x) - __builtin_offsetof (struct B, b)) abort (); if (__builtin_object_size (&x.b.a[0], 0) != sizeof (x) - __builtin_offsetof (struct B, b)) abort (); if (__builtin_object_size (&x.b.a[3], 0) != sizeof (x) - __builtin_offsetof (struct B, b) - 3) abort (); if (__builtin_object_size (&x.b.b, 0) != sizeof (x) - __builtin_offsetof (struct B, b) - __builtin_offsetof (struct A, b)) abort (); if (__builtin_object_size (&x.b.c, 0) != sizeof (x) - __builtin_offsetof (struct B, b) - __builtin_offsetof (struct A, c)) abort (); if (__builtin_object_size (&x.b.c[0], 0) != sizeof (x) - __builtin_offsetof (struct B, b) - __builtin_offsetof (struct A, c)) abort (); if (__builtin_object_size (&x.b.c[3], 0) != sizeof (x) - __builtin_offsetof (struct B, b) - __builtin_offsetof (struct A, c) - 3) abort (); if (__builtin_object_size (&x.c, 0) != sizeof (x) - __builtin_offsetof (struct B, c)) abort (); if (__builtin_object_size (&x.c[0], 0) != sizeof (x) - __builtin_offsetof (struct B, c)) abort (); if (__builtin_object_size (&x.c[1], 0) != sizeof (x) - __builtin_offsetof (struct B, c) - 1) abort (); if (__builtin_object_size (&x.d, 0) != sizeof (x) - __builtin_offsetof (struct B, d)) abort (); if (__builtin_object_size (&x.e, 0) != sizeof (x) - __builtin_offsetof (struct B, e)) abort (); if (__builtin_object_size (&x.f, 0) != sizeof (x) - __builtin_offsetof (struct B, f)) abort (); dp = &__real__ x.f; if (__builtin_object_size (dp, 0) != sizeof (x) - __builtin_offsetof (struct B, f)) abort (); dp = &__imag__ x.f; if (__builtin_object_size (dp, 0) != sizeof (x) - __builtin_offsetof (struct B, f) - sizeof (x.f) / 2) abort (); dp = &y; if (__builtin_object_size (dp, 0) != sizeof (y)) abort (); if (__builtin_object_size (&z, 0) != sizeof (z)) abort (); dp = &__real__ z; if (__builtin_object_size (dp, 0) != sizeof (z)) abort (); dp = &__imag__ z; if (__builtin_object_size (dp, 0) != sizeof (z) / 2) abort (); } struct S { unsigned int a; }; char * __attribute__ ((noinline)) test4 (char *x, int y) { register int i; struct A *p; for (i = 0; i < y; i++) { p = (struct A *) x; x = (char *) &p[1]; if (__builtin_object_size (p, 0) != (size_t) -1) abort (); } return x; } void __attribute__ ((noinline)) test5 (size_t x) { char buf[64]; char *p = &buf[8]; size_t i; for (i = 0; i < x; ++i) p = p + 4; /* My understanding of ISO C99 6.5.6 is that a conforming program will not end up with p equal to &buf[0] through &buf[7], i.e. calling this function with say UINTPTR_MAX / 4 results in undefined behaviour. If that's true, then the maximum number of remaining bytes from p until end of the object is 56, otherwise it would be 64 (or conservative (size_t) -1 == unknown). */ if (__builtin_object_size (p, 0) != sizeof (buf) - 8) abort (); memset (p, ' ', sizeof (buf) - 8 - 4 * 4); } void __attribute__ ((noinline)) test6 (size_t x) { struct T { char buf[64]; char buf2[64]; } t; char *p = &t.buf[8]; size_t i; for (i = 0; i < x; ++i) p = p + 4; if (__builtin_object_size (p, 0) != sizeof (t) - 8) abort (); memset (p, ' ', sizeof (t) - 8 - 4 * 4); } void __attribute__ ((noinline)) test7 (void) { char buf[64]; struct T { char buf[64]; char buf2[64]; } t; char *p = &buf[64], *q = &t.buf[64]; if (__builtin_object_size (p + 64, 0) != 0) abort (); if (__builtin_object_size (q + 63, 0) != sizeof (t) - 64 - 63) abort (); if (__builtin_object_size (q + 64, 0) != sizeof (t) - 64 - 64) abort (); if (__builtin_object_size (q + 256, 0) != 0) abort (); } void __attribute__ ((noinline)) test8 (void) { struct T { char buf[10]; char buf2[10]; } t; char *p = &t.buf2[-4]; char *q = &t.buf2[0]; if (__builtin_object_size (p, 0) != sizeof (t) - 10 + 4) abort (); if (__builtin_object_size (q, 0) != sizeof (t) - 10) abort (); /* GCC only handles additions, not subtractions. */ q = q - 8; if (__builtin_object_size (q, 0) != (size_t) -1 && __builtin_object_size (q, 0) != sizeof (t) - 10 + 8) abort (); p = &t.buf[-4]; if (__builtin_object_size (p, 0) != 0) abort (); } int main (void) { struct S s[10]; __asm ("" : "=r" (l1) : "0" (l1)); test1 (main, 6); test2 (); test3 (); test4 ((char *) s, 10); test5 (4); test6 (4); test7 (); test8 (); exit (0); }