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