1  /* PR tree-optimization/108783 */
       2  
       3  __attribute__((returns_twice)) int baz (int, int);
       4  
       5  int
       6  bar (int x)
       7  {
       8    return x;
       9  }
      10  
      11  int
      12  foo (int x, int y)
      13  {
      14    int a;
      15  
      16    a = bar (x);
      17    baz (x, y);
      18  
      19    return y && a && a;
      20  }
      21  
      22  int
      23  qux (int x, int y)
      24  {
      25    int a;
      26  
      27    a = bar (x);
      28    baz (x, y);
      29  
      30    return y && a != 42 && a >= 42;
      31  }
      32  
      33  int
      34  corge (int x, int y)
      35  {
      36    int a;
      37  
      38    a = bar (x);
      39    baz (x, y);
      40  
      41    return y || a == 42 || a > 42;
      42  }