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" } } */