gcc/testsuite/gcc.dg/analyzer/use-after-free.c

#include <stdlib.h>
#include "analyzer-decls.h"

struct link { struct link *next; };

int free_a_list_badly (struct link *n)
{
  while (n) {
    free(n); /* { dg-message "freed here" } */
    n = n->next; /* { dg-warning "use after 'free' of 'n'" } */
  }
}