1  #include <stdlib.h>
       2  
       3  static void calls_free(int *q)
       4  {
       5    free(q);
       6  }
       7  
       8  void test(void *p)
       9  {
      10    calls_free(p);
      11  
      12    free(p); /* { dg-warning "double-'free' of 'p'" } */
      13  }