/* { dg-additional-options "-Wno-analyzer-too-complex -Wno-analyzer-symbol-too-complex" } */

#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'" } */
  }
}