1  /* { dg-do run } */
       2  /* { dg-options "-O2" } */
       3  extern void abort (void);
       4  unsigned global_iters;
       5  
       6  void bi_reverse(int len)
       7  {
       8      do {
       9  	global_iters++;
      10      } while (--len > 0);
      11  }
      12  
      13  int main()
      14  {
      15    bi_reverse(5);
      16    if (global_iters != 5)
      17      abort ();
      18    return 0;
      19  }