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