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