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