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)8 foo (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)23 main (void)
24 {
25   u32 x = foo (1164);
26   if (x != 0xfd)
27     __builtin_abort ();
28   return 0;
29 }
30 
31 
32