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

     1  extern void abort (void);
     2  
     3  long long 
     4  f (long long a, long long b) 
     5  { 
     6    return ((a + b) << 32) >> 32; 
     7  } 
     8  
     9  long long a = 0x1234567876543210LL;
    10  long long b = 0x2345678765432101LL;
    11  long long c = ((0x1234567876543210LL + 0x2345678765432101LL) << 32) >> 32;
    12  
    13  int
    14  main ()
    15  {
    16    if (f (a, b) != c)
    17      abort ();
    18    return 0;
    19  }