modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/ieee/pr84235.c (about)

     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  }