1  #include <stdlib.h>
       2  #include "analyzer-decls.h"
       3  
       4  struct link { struct link *next; };
       5  
       6  int free_a_list_badly (struct link *n)
       7  {
       8    while (n) {
       9      free(n); /* { dg-message "freed here" } */
      10      n = n->next; /* { dg-warning "use after 'free' of 'n'" } */
      11    }
      12  }