1  /* { dg-do run } */
       2  /* { dg-options "-O3 -fsplit-loops" } */
       3  
       4  int fn1 (int b, int c)
       5  {
       6      return c < 0 || c > 31 ? 0 : b >> c;
       7  }
       8  
       9  unsigned char d = 255; 
      10  int e, f;
      11  
      12  int main ()
      13  {
      14    for (; f < 2; f++)
      15      e = fn1 (1, d++);
      16    if (e != 1)
      17      __builtin_abort ();
      18    return 0; 
      19  }