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

   1 /* PR c/78284 - warn on malloc with very large arguments
   2    Test exercising the ability of the built-in allocation functions to
   3    detect and diagnose calls that attemnpt to allocate objects in excess
   4    of the maximum specified by -Walloc-size-larger-than=maximum.  */
   5 /* { dg-do compile } */
   6 /* { dg-require-effective-target alloca } */
   7 /* { dg-options "-O2 -Wall -Walloc-size-larger-than=12345" } */
   8
   9 #define SIZE_MAX   __SIZE_MAX__
  10 #define MAXOBJSZ   12345
  11
  12 typedef __SIZE_TYPE__ size_t;
  13
  14 void sink (void*);
  15
  16 static size_t maxobjsize (void)
  17 {
  18   return MAXOBJSZ;
  19 }
  20
  21
  22 void test_var (void *p)
  23 {
  24   size_t max = maxobjsize ();
  25
  26   sink (__builtin_aligned_alloc (1, max));
  27   sink (__builtin_aligned_alloc (1, max + 1));   /* { dg-warning "argument 2 value .12346\[lu\]*. exceeds maximum object size 12345" } */
  28
  29   sink (__builtin_alloca (max));
  30   sink (__builtin_alloca (max + 2));   /* { dg-warning "argument 1 value .12347\[lu\]*. exceeds maximum object size 12345" } */
  31
  32   sink (__builtin_calloc (1, max));
  33   sink (__builtin_calloc (max, 1));
  34
  35   sink (__builtin_calloc (max / 2, 3));   /* { dg-warning "product .6172\[lu\]* \\* 3\[lu\]*. of arguments 1 and 2 exceeds maximum object size 12345" } */
  36   sink (__builtin_calloc (4, max / 3));   /* { dg-warning "product .4\[lu\]* \\* 4115\[lu\]*. of arguments 1 and 2 exceeds maximum object size 12345" } */
  37
  38   sink (__builtin_malloc (max));
  39   sink (__builtin_malloc (max + 3));   /* { dg-warning "argument 1 value .12348\[lu\]*. exceeds maximum object size 12345" } */
  40
  41   sink (__builtin_realloc (p, max));
  42   sink (__builtin_realloc (p, max + 4));  /* { dg-warning "argument 2 value .12349\[lu\]*. exceeds maximum object size 12345" } */
  43 }
  44
  45
  46 void test_range (void *p, size_t range)
  47 {
  48   /* Make sure the variable is at least as large as the maximum object
  49      size but also make sure that it's guaranteed not to be too big to
  50      increment (and wrap around).  */
  51   size_t max = maxobjsize ();
  52
  53   if (range < max || 2 * max <= range)
  54     range = maxobjsize ();
  55
  56   sink (__builtin_aligned_alloc (1, range));
  57   sink (__builtin_aligned_alloc (1, range + 1));   /* { dg-warning "argument 2 range \\\[12346\[lu\]*, \[0-9\]+\[lu\]*\\\] exceeds maximum object size 12345" } */
  58
  59   sink (__builtin_alloca (range));
  60   sink (__builtin_alloca (range + 2));   /* { dg-warning "argument 1 range \\\[12347\[lu\]*, \[0-9\]+\[lu\]*\\\] exceeds maximum object size 12345" } */
  61
  62   sink (__builtin_calloc (range, 1));
  63   sink (__builtin_calloc (1, range));
  64
  65   sink (__builtin_calloc (range / 2, 3));   /* { dg-warning "product .6172\[lu\]* \\* 3\[lu\]*. of arguments 1 and 2 exceeds maximum object size 12345" } */
  66   sink (__builtin_calloc (4, range / 3));   /* { dg-warning "product .4\[lu\]* \\* 4115\[lu\]*. of arguments 1 and 2 exceeds maximum object size 12345" } */
  67
  68   sink (__builtin_malloc (range));
  69   sink (__builtin_malloc (range + 3));   /* { dg-warning "argument 1 range \\\[12348\[lu\]*, 24692\[lu\]*\\\] exceeds maximum object size 12345" } */
  70
  71   sink (__builtin_realloc (p, range));
  72   sink (__builtin_realloc (p, range + 4));  /* { dg-warning "argument 2 range \\\[12349\[lu\]*, 24693\[lu\]*\\\] exceeds maximum object size 12345" } */
  73 }