1  /* PR tree-optimization/77901 */
       2  
       3  void bar (void);
       4  
       5  void
       6  foo (int *x, long *y)
       7  {
       8    if (*y && *x != 10 && *x != 12 && *y >= 0)
       9      bar ();
      10  }