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

     1  /* PR rtl-optimization/78378 */
     2  
     3  unsigned long long __attribute__ ((noinline, noclone))
     4  foo (unsigned long long x)
     5  {
     6    x <<= 41;
     7    x /= 232;
     8    return 1 + (unsigned short) x;
     9  }
    10  
    11  int
    12  main ()
    13  {
    14    unsigned long long x = foo (1);
    15    if (x != 0x2c24)
    16      __builtin_abort();
    17    return 0;
    18  }