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