gcc/testsuite/gcc.dg/torture/pr77479.c

   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 }