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

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