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

/* PR middle-end/98664 - inconsistent --Wfree-nonheap-object for inlined
   calls to system headers
   { dg-do compile }
   { dg-options "-O2 -Wall" } */

# 7 "Wfree-nonheap-object-4.h" 1 3

struct A
{
  void *p;
};

static void f0 (struct A *p, void *q) { p->p = q; }
static void f1 (struct A *p, void *q) { f0 (p, q); }
static void f2 (struct A *p, void *q) { f1 (p, q); }

static void g0 (struct A *p)
{
  __builtin_free (p->p);      // { dg-warning "\\\[-Wfree-nonheap-object" }
}

static void g1 (struct A *p) { g0 (p); }
static void g2 (struct A *p) { g1 (p); }

# 26 "Wfree-nonheap-object-4.c"

#define NOIPA __attribute__ ((noipa))

extern int array[];           // { dg-message "declared here" "note on line 29" }

/* Verify the warning is issued even for calls in a system header inlined
   into a function outside the header.  */

NOIPA void warn_g0 (struct A *p)
{
  int *q = array + 1;

  f0 (p, q);
  g0 (p);
}

// { dg-message "inlined from 'warn_g0'" "note on line 42" { target *-*-* } 0 }


/* Also verify the warning can be suppressed.  */

NOIPA void nowarn_g0 (struct A *p)
{
  int *q = array + 2;

  f0 (p, q);

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wfree-nonheap-object"
  g0 (p);
#pragma GCC diagnostic pop
}


NOIPA void warn_g1 (struct A *p)
{
  int *q = array + 3;

  f1 (p, q);
  g1 (p);
}

// { dg-message "inlined from 'g1'" "note on line 68" { target *-*-* } 0 }
// { dg-message "inlined from 'warn_g1'" "note on line 69" { target *-*-* } 0 }


NOIPA void nowarn_g1 (struct A *p)
{
  int *q = array + 4;

  f1 (p, q);

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wfree-nonheap-object"
  g1 (p);
#pragma GCC diagnostic pop
}


NOIPA void warn_g2 (struct A *p)
{
  int *q = array + 5;

  f2 (p, q);
  g2 (p);
}

// { dg-message "inlined from 'g2'" "note on line 93" { target *-*-* } 0 }
// { dg-message "inlined from 'warn_g2'" "note on line 94" { target *-*-* } 0 }


NOIPA void nowarn_g2 (struct A *p)
{
  int *q = array + 6;

  f2 (p, q);

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wfree-nonheap-object"
  g2 (p);
#pragma GCC diagnostic pop
}