1 /* { dg-require-effective-target int32plus } */ 2 /* { dg-require-effective-target size32plus } */ 3 /* { dg-require-stack-size "128*1024" } */ 4 crc()5void 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