1  /* { dg-do run } */
       2  
       3  int main (void)
       4  {
       5    int x = 1;
       6    while (x)
       7      x <<= 1;
       8    return x;
       9  }