gcc/testsuite/c-c++-common/analyzer/malloc-ipa-4.c

/* { dg-skip-if "requires hosted libstdc++ for stdlib free" { ! hostedlib } } */

#include <stdlib.h>

static void calls_free(int *q)
{
  free(q);
}

void test(void *p)
{
  calls_free((int *) p);

  free(p); /* { dg-warning "double-'free' of 'p'" } */
}