1 /* { dg-require-effective-target size20plus } */
2
3 typedef __SIZE_TYPE__ size_t;
4
5 int strcmp (const char*, const char*);
6 void *memchr (const void *, int, size_t);
7 char* strncpy (char *, const char *, size_t);
8
9 int
main(int argc,char ** argv)10 main (int argc, char** argv)
11 {
12 char target[32753] = "A";
13 char buffer[32753];
14 char *x;
15 x = buffer;
16
17 if (strcmp (target, "A")
18 || memchr (target, 'A', 0) != ((void *) 0))
19 if (strncpy (x, "", 4) != x);
20 return 0;
21 }
22