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

     1  int
     2  main()
     3  {
     4    double x = 1.0;
     5    double y = 2.0;
     6  
     7    if ((y > x--) != 1)
     8      abort ();
     9    exit (0);
    10  }
    11  
    12