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