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