1  /* { dg-do compile }  */
       2  /* { dg-options "-O1 -fno-tree-ccp -fno-tree-dse -Wmaybe-uninitialized" } */
       3  
       4  int oo;
       5  
       6  void
       7  pc (int *tt)
       8  {
       9    int cf = 0;
      10  
      11    if (*tt != 0)
      12      {
      13        if (0)
      14          {
      15            int *qg;
      16            int uj = 0;
      17  
      18   t6:
      19            tt = &cf;
      20            if (oo != 0)
      21              {
      22                ++uj; /* { dg-warning "may be used uninit" } */
      23                *qg = !!oo && !!uj; /* { dg-warning "may be used uninit" } */
      24              }
      25          }
      26        cf = 0;
      27        goto t6;
      28      }
      29  
      30    if (oo != 0)
      31      {
      32        *tt = 1;
      33        goto t6;
      34      }
      35  }