modernc.org/cc@v1.0.1/testdata/gcc-6.3.0/gcc/testsuite/gcc.c-torture/execute/921019-2.c (about)

     1  main()
     2  {
     3    double x,y=0.5;
     4    x=y/0.2;
     5    if(x!=x)
     6      abort();
     7    exit(0);
     8  }