gcc/testsuite/c-c++-common/Wmismatched-dealloc.c

   1 /* PR middle-end/98166: bogus -Wmismatched-dealloc on user-defined allocator
   2    and inlining
   3    { dg-do compile }
   4    { dg-options "-O2 -Wall" } */
   5
   6
   7 void dealloc_shrt (short *p)
   8 {
   9   /* A positive offset would be diagnosed but a negative one must
  10      not be.  */
  11   __builtin_free (p - 1);       // { dg-bogus "-Wmismatched-dealloc" }
  12 }
  13
  14 __attribute__ ((malloc (dealloc_shrt)))
  15 short* alloc_shrt (int n) /* { return malloc (n) + 1; } */;
  16
  17 void test_nowarn_shrt (int n)
  18 {
  19   short *p = alloc_shrt (n);
  20   dealloc_shrt (p);
  21 }
  22
  23
  24 void dealloc_int (int *p) /* { free (p - 1); } */;
  25
  26 __attribute__ ((malloc (dealloc_int, 1)))
  27 int* alloc_int (int n)
  28 {
  29   return (int*)__builtin_malloc (n) + 1;
  30 }
  31
  32 void test_nowarn_int (int n)
  33 {
  34   int *p = alloc_int (n);
  35   dealloc_int (p);              // { dg-bogus "-Wmismatched-dealloc" }
  36 }
  37
  38
  39 void dealloc_long (int, long *p) /* { free (p - 2); } */;
  40
  41 __attribute__ ((malloc (dealloc_long, 2)))
  42 inline long*
  43 alloc_long (int n) {            // { dg-warning "'malloc \\(\[^\n\r\]*dealloc_long\[^\n\r\]*\\)' attribute ignored on functions declared 'inline'" }
  44   return (long*)__builtin_malloc (n) + 2;
  45 }
  46
  47 void test_nowarn_long (int n)
  48 {
  49   long *p = alloc_long (n);
  50   dealloc_long (0, p);          // { dg-bogus "\\\[-Wmismatched-dealloc" }
  51 }
  52
  53
  54 inline void
  55 dealloc_float (int, int, float *p)  // { dg-message "deallocation function declared here" }
  56 {
  57   __builtin_free (p - 3);
  58 }
  59
  60 __attribute__ ((malloc (dealloc_float, 3)))
  61 float* alloc_float (int n);     // { dg-warning "'malloc \\(\[^\n\r\]*dealloc_float\[^\n\r\]*\\)' attribute ignored with deallocation functions declared 'inline'" }
  62
  63 void test_nowarn_float (int n)
  64 {
  65   float *p = alloc_float (n);
  66   dealloc_float (0, 1, p);      // { dg-bogus "\\\[-Wmismatched-dealloc" }
  67 }