1  /* { dg-do run } */
       2  
       3  __INT32_TYPE__ a;
       4  __INT64_TYPE__ b;
       5  static inline __INT64_TYPE__ c(__UINT32_TYPE__ d)
       6  {
       7    return d;
       8  }
       9  static inline void e(__INT32_TYPE__ d)
      10  {
      11    a = d;
      12  }
      13  int main()
      14  {
      15    b = 0;
      16    for (; b < 1; b = c(b - 90) + 90 + 1)
      17      ;
      18    e(b >> 2);
      19    if (a != 1073741824)
      20      __builtin_abort();
      21    return 0;
      22  }