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