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

     1  extern unsigned long aa[], bb[];
     2  
     3  int seqgt (unsigned long a, unsigned short win, unsigned long b);
     4  
     5  int seqgt2 (unsigned long a, unsigned short win, unsigned long b);
     6  
     7  main()
     8  {
     9    if (! seqgt (*aa, 0x1000, *bb) || ! seqgt2 (*aa, 0x1000, *bb))
    10      abort ();
    11  
    12    exit (0);
    13  }
    14  
    15  int
    16  seqgt (unsigned long a, unsigned short win, unsigned long b)
    17  {
    18    return (long) ((a + win) - b) > 0;
    19  }
    20  
    21  int
    22  seqgt2 (unsigned long a, unsigned short win, unsigned long b)
    23  {
    24    long l = ((a + win) - b);
    25    return l > 0;
    26  }
    27  
    28  unsigned long aa[] = { (1UL << (sizeof (long) * 8 - 1)) - 0xfff };
    29  unsigned long bb[] = { (1UL << (sizeof (long) * 8 - 1)) - 0xfff };