PR tree-optimization/84235

[official-gcc.git] / gcc / testsuite / gcc.c-torture / execute / ieee / pr84235.c

/* PR tree-optimization/84235 */

int
main ()
{
  double d = 1.0 / 0.0;
  _Bool b = d == d && (d - d) != (d - d);
  if (!b)
    __builtin_abort ();
  return 0;
}