1 /* PR tree-optimization/84235 */
2 
3 int
main()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 }
12