1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-threadfull1" } */
       3  
       4  static char b;
       5  static unsigned c;
       6  void foo();
       7  short(a)(short d, short e) { return d * e; }
       8  static short f(short d) {
       9    b = 0;
      10    if ((d && 0 >= c < d) ^ d)
      11      ;
      12    else
      13      foo();
      14    return d;
      15  }
      16  int main()
      17  {
      18    short g = a(5, b ^ 9854);
      19    f(g);
      20  }
      21  
      22  /* { dg-final { scan-tree-dump-not "foo" "threadfull1" } } */