1  // { dg-do compile }
       2  // { dg-options "-O1 -ftree-vrp" }
       3  // { dg-additional-options "-m32" { target { i?86-*-* x86_64-*-* } } }
       4  
       5  unsigned int
       6  po (char *os, unsigned int al)
       7  {
       8    for (;;)
       9      {
      10        int qx = 0;
      11  
      12        while (al < 1)
      13          {
      14            char *cw;
      15  
      16            cw = os + qx;
      17            if (cw)
      18              return al + qx;
      19  
      20            qx += sizeof *cw;
      21          }
      22      }
      23  }