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