gcc/testsuite/gcc.dg/Wstringop-overflow-36.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

/* Verify that casts between pointers and integers don't trigger false
   positives.  Test derived from Glibc's _dl_allocate_tls_storage() in
   dl-tls.c.
   { dg-do compile }
   { dg-options "-O2 -Wall -Wno-array-bounds" } */

typedef __SIZE_TYPE__ size_t;
typedef __UINTPTR_TYPE__ uintptr_t;

size_t a;
size_t s;

void* _dl_allocate_tls_storage (void)
{
  void *p = __builtin_malloc (s + a + sizeof (void *));

  char *q = (char *)(__builtin_constant_p (a) && (((a - 1) & a) == 0)
             ? ((((uintptr_t)p) + a - 1) & ~(a - 1))
             : (((((uintptr_t)p) + (a - 1)) / a) * a));

  char *r = q + s - sizeof (int[4]);
  __builtin_memset (r, '\0', sizeof (int[4]));
  return r;
}