1  #include "analyzer-decls.h"
       2  
       3  void test (int *p, int n)
       4  {
       5    int i;
       6    __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
       7    for (i = 0; i < n; i++)
       8      {
       9        p[i] = i; /* { dg-bogus "uninitialized" } */
      10        __analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enodes" } */
      11      }
      12  }