1/* { dg-do compile } */
2/* { dg-options "-O -ftree-vrp -fwrapv" } */
3
4extern void bar(int);
5void checkgroups(int last, int verbose)
6{
7    int window = 0;
8    int outstanding = 0;
9    while (window < last || outstanding) {
10	while (outstanding < 47 && window < last) {
11	    if (window < last) {
12		outstanding++;
13		if (verbose)
14		    bar(window);
15		bar(window++);
16	    }
17	}
18	if (outstanding > 0)
19	    bar(0);
20    }
21}
22
23