1typedef unsigned char u8; 2typedef unsigned short u16; 3typedef unsigned int u32; 4typedef unsigned long long u64; 5 6u64 __attribute__((noinline, noclone)) 7foo(u8 u8_0, u16 u16_0, u64 u64_0, u8 u8_1, u16 u16_1, u64 u64_1, u64 u64_2, u8 u8_3, u64 u64_3) 8{ 9 u64_1 *= 0x7730; 10 u64_3 *= u64_3; 11 u16_1 |= u64_3; 12 u64_3 -= 2; 13 u8_3 /= u64_2; 14 u8_0 |= 3; 15 u64_3 %= u8_0; 16 u8_0 -= 1; 17 return u8_0 + u16_0 + u64_0 + u8_1 + u16_1 + u64_1 + u8_3 + u64_3; 18} 19 20int main() 21{ 22 unsigned x = foo(1, 1, 1, 1, 1, 1, 1, 1, 1); 23 if (x != 0x7737) 24 __builtin_abort(); 25 return 0; 26} 27