1 #include "analyzer-decls.h"
2 
test(int * p,int n)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 }
13