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