1  /* { dg-do compile } */
       2  /* { dg-additional-options "-fstrict-overflow -ftree-vrp" } */
       3  
       4  void
       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  }