1  #include <stdlib.h>
       2  
       3  void recursive_free (void *ptr)
       4  {
       5    free (ptr); /* { dg-warning "double-'free' of 'ptr'" } */
       6    recursive_free (ptr); /* { dg-warning "infinite recursion" } */
       7  }