1  /* { dg-require-stack-size "4096" } */
       2  
       3  int foo (__const char *__restrict __s);
       4  static void 
       5  read_anisou(char line[])
       6  {
       7    foo (line+1);
       8  }
       9  void
      10  read_pdbfile(void)
      11  {
      12    char line[4096];
      13    read_anisou (line);
      14  }