1  /* { dg-do compile } */
       2  /* { dg-options "-fgimple -O -Wmaybe-uninitialized" } */
       3  
       4  unsigned int __GIMPLE (ssa,startwith("uninit1"))
       5  foo (unsigned int v)
       6  {
       7    unsigned int undef;        /* { dg-bogus "may be used uninitialized" } */
       8    unsigned int _2;
       9    unsigned int _9;
      10    unsigned int _10;
      11  
      12    __BB(2):
      13    if (v_4(D) < 100u)
      14      goto __BB3;
      15    else
      16      goto __BB4;
      17  
      18    /* 'undef' is defined conditionally (under 'v < 100' predicate).  */
      19    __BB(3):
      20    undef_8 = 8u;
      21    goto __BB4;
      22  
      23    /* An undef value flows into a phi.  */
      24    __BB(4):
      25    undef_1 = __PHI (__BB2: undef_5(D), __BB3: undef_8);
      26    if (v_4(D) == 42u)
      27      goto __BB5;
      28    else
      29      goto __BB6;
      30  
      31    /* The phi value is used here (under 'v == 42' predicate).  */
      32    __BB(5):
      33    _9 = undef_1;
      34    goto __BB7;
      35  
      36    __BB(6):
      37    _10 = v_4(D);
      38    goto __BB7;
      39  
      40    __BB(7):
      41    _2 = __PHI (__BB5: _9, __BB6: _10);
      42    return _2;
      43  }