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

extern void foo (int *);

void test (int n)
{
  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */

  for (int i = 0; i < n; i++)
    {
      int *ptr = (int *)malloc (sizeof (int) * i);
      foo (ptr);
      free (ptr);
      __analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enodes" } */
    }

  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
}