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