(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
analyzer/
pr104452.c
       1  /* { dg-additional-options "-O" } */
       2  
       3  void
       4  test_1 (void)
       5  {
       6    int __attribute__((__vector_size__ (16))) x;
       7    for (unsigned i = 0; i < 4;)
       8      if (x[i]) /* { dg-warning "use of uninitialized value" } */
       9        __builtin_abort ();
      10  }