1  /* PR tree-optimization/77929 */
       2  
       3  void bar (void);
       4  
       5  void
       6  foo (int x, unsigned short int y)
       7  {
       8    int a = 0;
       9    int b = (y != 0) ? (x < y) : (a < 0);
      10  
      11    if (x >= 0 & b)
      12      bar ();
      13  }