| typedef __UINT8_TYPE__ u8; | |
| typedef __UINT32_TYPE__ u32; | |
| u32 a, b, d, e; | |
| u8 c; | |
| static u32 __attribute__ ((noinline, noclone)) | |
| foo (u32 p) | |
| { | |
| do | |
| { | |
| e /= 0xfff; | |
| if (p > c) | |
| d = 0; | |
| e -= 3; | |
| e *= b <= a; | |
| } | |
| while (e >= 88030); | |
| return e; | |
| } | |
| int | |
| main (void) | |
| { | |
| u32 x = foo (1164); | |
| if (x != 0xfd) | |
| __builtin_abort (); | |
| return 0; | |
| } | |