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

     1  /* Copyright (C) 2004 Free Software Foundation.
     2  
     3     Ensure that the composite comparison optimization doesn't misfire
     4     and attempt to combine an integer comparison with a floating-point one.
     5  
     6     Written by Paolo Bonzini, 26th May 2004.  */
     7  
     8  extern void abort (void);
     9  
    10  int
    11  foo (double x, double y)
    12  {
    13    /* If miscompiled the following may become false.  */
    14    return (x > y) && ((int)x == (int)y);
    15  }
    16  
    17  int
    18  main ()
    19  {
    20    if (! foo (1.3,1.0))
    21      abort ();
    22    return 0;
    23  }
    24