1  /* { dg-do compile } */
       2  /* { dg-options "-Wuninitialized -O2" } */
       3  
       4  int g;
       5  void bar();
       6  void blah(int);
       7  int foo (int n, int m, int r, int t)
       8  {
       9    int flag = 0;
      10    int v;
      11  
      12    if (t)
      13      {
      14        if (n)
      15          {
      16            v = r;    /* init path 1 */
      17            flag = 1;
      18          }
      19  
      20        if (m)
      21          g++;
      22        else 
      23          bar();
      24  
      25        if (flag)  /* properly  guarded */
      26          blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
      27      }
      28    else
      29      {
      30        v = r+1; /* init path 2 */
      31        flag = 2;
      32      }
      33  
      34    if (m)
      35      g++;
      36    else 
      37      bar();
      38  
      39    if (flag)  /* properly guarded */
      40      blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
      41  
      42    return 0;
      43  }