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

     1  typedef unsigned long long u64;
     2  unsigned long foo = 0;
     3  u64 f() __attribute__((noinline));
     4  
     5  u64 f() {
     6    return ((u64)40) + ((u64) 24) * (int)(foo - 1);
     7  }
     8  
     9  int main ()
    10  {
    11    if (f () != 16)
    12      abort ();
    13    exit (0);
    14  }