gcc/testsuite/gcc.dg/Wfree-nonheap-object-2.c

   1 /* PR ????? - No warning on attempts to access free object
   2    Verify that attempting to reallocate unallocated objects referenced
   3    either directly or through pointers is diagnosed.
   4    { dg-do compile }
   5    { dg-options "-O2 -Wall -Wfree-nonheap-object" }
   6    { dg-require-effective-target alloca } */
   7
   8 typedef __SIZE_TYPE__ size_t;
   9
  10 extern void free (void*);
  11 extern void* alloca (size_t);
  12 extern void* realloc (void*, size_t);
  13
  14 void sink (void*, ...);
  15
  16 extern void* eparr[];
  17 extern char *eptr;
  18
  19 extern size_t n;
  20
  21
  22 void nowarn_realloc (void *p, size_t n)
  23 {
  24   char *q = realloc (p, n);
  25   sink (q);
  26
  27   q = realloc (0, n);
  28   sink (q);
  29
  30   q = realloc (q, n * 2);
  31   sink (q);
  32 }
  33
  34 /* Verify that calling realloc on a pointer to an unknown object minus
  35    some nonzero offset isn't diagnosed, but a pointer plus a positive
  36    offset is (a positive offset cannot point at the beginning).  */
  37
  38 void test_realloc_offset (char *p1, char *p2, char *p3, size_t n, int i)
  39 {
  40   char *q;
  41   q = realloc (p1 - 1, n);
  42   sink (q);
  43
  44   q = realloc (p2 + 1, n);    // { dg-warning "'realloc' called on pointer 'p2' with nonzero offset 1" }
  45   sink (q);
  46
  47   q = realloc (p3 + i, n);
  48   sink (q);
  49 }
  50
  51 void warn_realloc_extern_arr (void)
  52 {
  53   extern char ecarr[];        // { gg-message "declared here" }
  54   char *p = ecarr;
  55   char *q = realloc (p, n);   // { dg-warning "'realloc' called on unallocated object 'ecarr'" }
  56   sink (q);
  57 }
  58
  59 void warn_realloc_extern_arr_offset (int i)
  60 {
  61   extern char ecarr[];
  62   char *p = ecarr + i;
  63   char *q = realloc (p, n);   // { dg-warning "\\\[-Wfree-nonheap-object" }
  64   sink (q);
  65 }
  66
  67
  68 void warn_realloc_string (int i)
  69 {
  70   char *p, *q;
  71   {
  72     p = "123";
  73     sink (p);
  74     q = realloc (p, n);       // { dg-warning "\\\[-Wfree-nonheap-object" }
  75     sink (q);
  76   }
  77   {
  78     p = "234" + 1;
  79     sink (p);
  80     q = realloc (p, n);       // { dg-warning "\\\[-Wfree-nonheap-object" }
  81     sink (q);
  82   }
  83   {
  84     p = "123" + i;
  85     sink (p);
  86     q = realloc (p, n);       // { dg-warning "\\\[-Wfree-nonheap-object" }
  87     sink (q);
  88   }
  89 }
  90
  91
  92 void warn_realloc_alloca (int n, int i)
  93 {
  94   char *p, *q;
  95   {
  96     p = alloca (n);
  97     sink (p);
  98     q = realloc (p, n);       // { dg-warning "\\\[-Wfree-nonheap-object" }
  99     sink (q);
 100   }
 101   {
 102     p = (char*)alloca (n + 1);
 103     sink (p);
 104     q = realloc (p, n);       // { dg-warning "\\\[-Wfree-nonheap-object" }
 105     sink (q);
 106   }
 107   {
 108     p = (char*)alloca (n + 2) + i;
 109     sink (p);
 110     q = realloc (p, n);       // { dg-warning "\\\[-Wfree-nonheap-object" }
 111     sink (q);
 112   }
 113 }
 114
 115
 116 void warn_realloc_local_arr (int i)
 117 {
 118   char *q;
 119   {
 120     char a[4];
 121     sink (a);
 122     q = realloc (a, n);       // { dg-warning "\\\[-Wfree-nonheap-object" }
 123     sink (q);
 124   }
 125
 126   {
 127     char b[5];
 128     sink (b);
 129     q = realloc (b + 1, n);   // { dg-warning "\\\[-Wfree-nonheap-object" }
 130     sink (q);
 131   }
 132
 133   {
 134     char c[6];
 135     sink (c);
 136     q = realloc (&c[2], n);   // { dg-warning "\\\[-Wfree-nonheap-object" }
 137     sink (q);
 138   }
 139
 140   {
 141     char d[7];
 142     sink (d);
 143     q = realloc (&d[i], n);   // { dg-warning "\\\[-Wfree-nonheap-object" }
 144     sink (q);
 145   }
 146 }
 147
 148 void warn_realloc_vla (int n1, int n2, int i)
 149 {
 150   char *q;
 151   {
 152     char vla[n1];
 153     sink (vla);
 154     q = realloc (vla, n2);    // { dg-warning "\\\[-Wfree-nonheap-object" }
 155     sink (q);
 156   }
 157
 158   {
 159     char vlb[n1 + 1];
 160     sink (vlb);
 161     q = realloc (vlb + 1, n2);// { dg-warning "\\\[-Wfree-nonheap-object" }
 162     sink (q);
 163   }
 164
 165   {
 166     char vlc[n1 + 2];
 167     sink (vlc);
 168     q = realloc (&vlc[2], n2);// { dg-warning "\\\[-Wfree-nonheap-object" }
 169     sink (q);
 170   }
 171
 172   {
 173     char vld[7];
 174     sink (vld);
 175     q = realloc (&vld[i], n2);// { dg-warning "\\\[-Wfree-nonheap-object" }
 176     sink (q);
 177   }
 178 }
 179
 180 void nowarn_realloc_extern_ptrarr (void)
 181 {
 182   char *q = realloc (*eparr, n);
 183   sink (q);
 184 }
 185
 186 void nowarn_realloc_extern_ptrarr_offset (int i)
 187 {
 188   char *p = eparr[i];
 189   char *q = realloc (p, n);
 190   sink (q);
 191 }
 192
 193
 194 void warn_realloc_extern_ptrarr (void)
 195 {
 196   char *q = realloc (eparr, n);  // { dg-warning "\\\[-Wfree-nonheap-object" }
 197   sink (q);
 198 }
 199
 200 void warn_realloc_extern_ptrarr_offset (int i)
 201 {
 202   void *p = eparr + i;
 203   void *q = realloc (p, n);   // { dg-warning "\\\[-Wfree-nonheap-object" }
 204   sink (q);
 205 }
 206
 207
 208 void nowarn_realloc_extern_ptr (void)
 209 {
 210   char *q = realloc (eptr, n);
 211   sink (q);
 212 }
 213
 214 void nowarn_realloc_extern_ptr_offset (int i)
 215 {
 216   char *p = eptr + i;
 217   char *q = realloc (p, n);
 218   sink (q);
 219 }
 220
 221
 222 void warn_realloc_extern_ptr_pos_offset (int i)
 223 {
 224   if (i <= 0)
 225     i = 1;
 226
 227   char *p = eptr + i;
 228   char *q = realloc (p, n);   // { dg-warning "\\\[-Wfree-nonheap-object" }
 229   sink (q);
 230 }
 231
 232
 233 void nowarn_realloc_parm_offset (char *p, int i)
 234 {
 235   char *q = p + i;
 236   q = realloc (q, n);
 237   sink (q);
 238 }
 239
 240 void nowarn_realloc_parm_neg_offset (char *p, int i)
 241 {
 242   if (i >= 0)
 243     i = -1;
 244
 245   char *q = p + i;
 246   q = realloc (q, n);
 247   sink (q);
 248 }
 249
 250 void warn_realloc_parm_pos_offset (char *p, int i)
 251 {
 252   if (i <= 0)
 253     i = 1;
 254
 255   char *q = p + i;
 256   q = realloc (q, n);         // { dg-warning "\\\[-Wfree-nonheap-object" }
 257   sink (q);
 258 }
 259
 260 void nowarn_realloc_deref_parm_pos_offset (void **p, int i)
 261 {
 262   if (i <= 0)
 263     i = 1;
 264
 265   // The offset is from p, not *p.
 266   void *q = *(p + i);
 267   q = realloc (q, n);
 268   sink (q);
 269 }
 270
 271 void warn_realloc_deref_parm_pos_offset (void **p, int i)
 272 {
 273   if (i <= 0)
 274     i = 1;
 275
 276   // Unlike in the function above the offset is from *p.
 277   void *q = *p + i;
 278   q = realloc (q, n);         // { dg-warning "\\\[-Wfree-nonheap-object" }
 279   sink (q);
 280 }