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