gcc/testsuite/gcc.c-torture/execute/20120817-1.c

   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 }