1 typedef __UINT8_TYPE__ u8; 2 typedef __UINT32_TYPE__ u32; 3 4 u32 a, b, d, e; 5 u8 c; 6 7 static u32 __attribute__ ((noinline, noclone)) foo(u32 p)8foo (u32 p) 9 { 10 do 11 { 12 e /= 0xfff; 13 if (p > c) 14 d = 0; 15 e -= 3; 16 e *= b <= a; 17 } 18 while (e >= 88030); 19 return e; 20 } 21 22 int main(void)23main (void) 24 { 25 u32 x = foo (1164); 26 if (x != 0xfd) 27 __builtin_abort (); 28 return 0; 29 } 30 31 32