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