1 /* { dg-do compile } */ 2 /* { dg-additional-options "-fstrict-overflow -ftree-vrp" } */ 3 4 void vr(int of,unsigned char bw)5vr (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