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