/* { dg-skip-if "requires hosted libstdc++ for stdlib malloc" { ! hostedlib } } */
/* { dg-additional-options "-fno-exceptions" } */

#include <stdlib.h>
#include "../../gcc.dg/analyzer/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" } */
}