1  /* PR tree-optimization/84235 */
       2  
       3  int
       4  main ()
       5  {
       6    double d = 1.0 / 0.0;
       7    _Bool b = d == d && (d - d) != (d - d);
       8    if (!b)
       9      __builtin_abort ();
      10    return 0;
      11  }