1  /* { dg-do compile } */
       2  /* ???  Jump threading makes a mess of the logical-op-non-short-circuit=0 case
       3     so force it our way.  */
       4  /* { dg-options "-Wuninitialized -O2 --param logical-op-non-short-circuit=1" } */
       5  
       6  int g;
       7  void bar();
       8  void blah(int);
       9  
      10  int foo (int n, int l, int m, int r)
      11  {
      12    int v;
      13  
      14    if (n < 10 || m > 100 || r < 20 || l)
      15      v = r;
      16  
      17    if (m) g++;
      18    else   bar();
      19  
      20    if ( n < 10 ||  m > 100 || r < 20 )
      21        blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
      22  
      23    if ( n < 10 ||  m > 100 || r < 10 )
      24        blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
      25  
      26    return 0;
      27  }
      28  
      29  int foo_2 (int n, int l, int m, int r)
      30  {
      31    int v;
      32  
      33    if (n < 10 || m > 100 || r < 20 || l)
      34      v = r;
      35  
      36    if (m) g++;
      37    else   bar();
      38  
      39    if ( n < 10 ||  m > 100 || r < 20 )
      40        blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
      41  
      42    if ( n < 10 ||  m > 100 || r < 30 )
      43        blah(v); /* { dg-warning "uninitialized" "warning" } */
      44  
      45    return 0;
      46  }