1 /* { dg-do compile } */
2 /* { dg-additional-options "-fstrict-overflow -ftree-vrp" } */
3 
4 void
vr(int of,unsigned char bw)5 vr (int of, unsigned char bw)
6 {
7   int d1;
8   int lm = 0;
9 
10   for (d1 = 0; d1 < 3; ++d1)
11     {
12       const int vl = 2;
13 
14       while (bw < vl)
15 	{
16 	}
17       if (bw != vl)
18 	lm -= vl;
19     }
20   while (++of < 1)
21     {
22       lm /= bw;
23       of += lm;
24     }
25 }
26