1  /* PR tree-optimization/58385 */
       2  
       3  extern void abort (void);
       4  
       5  int a, b = 1;
       6  
       7  int
       8  foo ()
       9  {
      10    b = 0;
      11    return 0;
      12  }
      13  
      14  int
      15  main ()
      16  {
      17    ((0 || a) & foo () >= 0) <= 1 && 1;
      18    if (b)
      19      abort ();
      20    return 0;
      21  }