gcc/testsuite/g++.dg/warn/Wfree-nonheap-object-5.C

   1 /* PR middle-end/98664 - inconsistent --Wfree-nonheap-object for inlined
   2    calls to system headers
   3    { dg-do compile }
   4    { dg-options "-O2 -Wall" } */
   5
   6 # 7 "Wfree-nonheap-object-5.h" 1 3
   7
   8 struct A0
   9 {
  10   void *p;
  11
  12   void f0 (void *q) { p = q; }
  13   void g0 (void) {
  14     __builtin_free (p);       // { dg-warning "\\\[-Wfree-nonheap-object" }
  15   }
  16 };
  17
  18 struct A1
  19 {
  20   void *p;
  21
  22   void f0 (void *q) { p = q; }
  23   void f1 (void *q) { f0 (q); }
  24
  25   void g0 (void) {
  26     __builtin_free (p);       // { dg-warning "\\\[-Wfree-nonheap-object" }
  27   }
  28   void g1 (void) { g0 (); }
  29 };
  30
  31 struct A2
  32 {
  33   void *p;
  34
  35   void f0 (void *q) { p = q; }
  36   void f1 (void *q) { f0 (q); }
  37   void f2 (void *q) { f1 (q); }
  38
  39   void g0 (void) {
  40     __builtin_free (p);       // { dg-warning "\\\[-Wfree-nonheap-object" }
  41   }
  42   void g1 (void) { g0 (); }
  43   void g2 (void) { g1 (); }
  44 };
  45
  46 # 47 "Wfree-nonheap-object-5.C"
  47
  48 #define NOIPA __attribute__ ((noipa))
  49
  50 extern int array[];
  51
  52 /* Verify the warning is issued even for calls in a system header inlined
  53    into a function outside the header.  */
  54
  55 NOIPA void warn_g0 (struct A0 *p)
  56 {
  57   int *q = array + 1;
  58
  59   p->f0 (q);
  60   p->g0 ();
  61 }
  62
  63 // { dg-message "inlined from 'void warn_g0\\(A0\\*\\)'" "" { target *-*-* } 0 }
  64
  65
  66 /* Also verify the warning can be suppressed.  */
  67
  68 NOIPA void nowarn_g0 (struct A0 *p)
  69 {
  70   int *q = array + 2;
  71
  72   p->f0 (q);
  73
  74 #pragma GCC diagnostic push
  75 #pragma GCC diagnostic ignored "-Wfree-nonheap-object"
  76   p->g0 ();
  77 #pragma GCC diagnostic pop
  78 }
  79
  80
  81 NOIPA void warn_g1 (struct A1 *p)
  82 {
  83   int *q = array + 3;
  84
  85   p->f1 (q);
  86   p->g1 ();
  87 }
  88
  89 // { dg-message "inlined from 'void A1::g1\\(\\)'" "" { target *-*-* } 0 }
  90 // { dg-message "inlined from 'void warn_g1\\(A1\\*\\)'" "" { target *-*-* } 0 }
  91
  92
  93 NOIPA void nowarn_g1 (struct A2 *p)
  94 {
  95   int *q = array + 4;
  96
  97   p->f1 (q);
  98
  99 #pragma GCC diagnostic push
 100 #pragma GCC diagnostic ignored "-Wfree-nonheap-object"
 101   p->g1 ();
 102 #pragma GCC diagnostic pop
 103 }
 104
 105
 106 NOIPA void warn_g2 (struct A2 *p)
 107 {
 108   int *q = array + 5;
 109
 110   p->f2 (q);
 111   p->g2 ();
 112 }
 113
 114 // { dg-message "inlined from 'void A2::g1\\(\\)'" "" { target *-*-* } 0 }
 115 // { dg-message "inlined from 'void A2::g2\\(\\)'" "" { target *-*-* } 0 }
 116 // { dg-message "inlined from 'void warn_g2\\(A2\\*\\)'" "" { target *-*-* } 0 }
 117
 118
 119 NOIPA void nowarn_g2 (struct A2 *p)
 120 {
 121   int *q = array + 6;
 122
 123   p->f2 (q);
 124
 125 #pragma GCC diagnostic push
 126 #pragma GCC diagnostic ignored "-Wfree-nonheap-object"
 127   p->g2 ();
 128 #pragma GCC diagnostic pop
 129 }