1  /* { dg-do compile } */
       2  /* { dg-options "-O -Wuninitialized --param uninit-control-dep-attempts=1" } */
       3  
       4  struct {
       5    int count;
       6    int array[8];
       7  } fde_merge_v1;
       8  
       9  void
      10  fde_merge_i2() {
      11    unsigned i1;
      12    do
      13      while (i1 && fde_merge_v1.array[i1 - 1]) /* { dg-warning "uninitialized" } */
      14        i1--;
      15    while (fde_merge_i2);
      16  }