gcc/testsuite/gcc.dg/attr-alloc_size-9.c

   1 /* PR c/78284 - warn on malloc with very large arguments
   2    Test verifying that the built-in allocation functions are declared
   3    with attribute malloc.  This means that the pointer they return
   4    can be assumed not to alias any other valid pointer.  */
   5 /* { dg-do compile } */
   6 /* { dg-require-effective-target alloca } */
   7 /* { dg-options "-O2 -fdump-tree-optimized" } */
   8
   9 void sink (void*);
  10
  11 extern int x;
  12
  13 #define TEST(call)                              \
  14   do {                                          \
  15     p = call;                                   \
  16     x = 123;                                    \
  17     *(int*)p = 456;                             \
  18     (x == 123) ? (void)0 : __builtin_abort ();  \
  19     sink (p);                                   \
  20   } while (0)
  21
  22 void test (void *p, unsigned n)
  23 {
  24   TEST (__builtin_aligned_alloc (8, n));
  25   TEST (__builtin_alloca (n));
  26   TEST (__builtin_calloc (4, n));
  27   TEST (__builtin_malloc (n));
  28   TEST (__builtin_realloc (p, n + 1));
  29 }
  30
  31 /* { dg-final { scan-tree-dump-not "abort" "optimized" } } */