1  #include <stdlib.h>
       2  #include "analyzer-decls.h"
       3  
       4  extern void foo (int *);
       5  
       6  void test (int n)
       7  {
       8    __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
       9  
      10    for (int i = 0; i < n; i++)
      11      {
      12        int *ptr = (int *)malloc (sizeof (int) * i);
      13        foo (ptr);
      14        free (ptr);
      15        __analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enodes" } */
      16      }
      17  
      18    __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
      19  }