1 /* { dg-require-effective-target int32plus } */
2 /* { dg-require-effective-target size32plus } */
3 
crc()4 void crc()
5 {
6     int  toread;
7     long long nleft;
8     unsigned char buf[(128 * 1024)];
9 
10     nleft = 0;
11     while (toread = (nleft < (2147483647 * 2U + 1U)) ? nleft: (2147483647 * 2U + 1U) )
12 	;
13 }
14