1  /* { dg-require-effective-target int32plus } */
       2  /* { dg-require-effective-target size32plus } */
       3  
       4  char *buf;
       5  int buflen;
       6  
       7  inline int
       8  sub (int length)
       9  {
      10    if (length <= buflen)
      11      buf[length] = '\0';
      12    return 0;
      13  }
      14  
      15  int
      16  sub2 (void)
      17  {
      18    return sub (0x7fffffff);
      19  }