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

     1  /* This testcase was being miscompiled, because operand_equal_p
     2     returned that (unsigned long) d and (long) d are equal.  */
     3  extern void abort (void);
     4  extern void exit (int);
     5  
     6  int
     7  main (void)
     8  {
     9    double d = -12.0;
    10    long l = (d > 10000) ? (unsigned long) d : (long) d;
    11    if (l != -12)
    12      abort ();
    13    exit (0);
    14  }