gcc/testsuite/c-c++-common/analyzer/paths-5.c

   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 }