rt_gccstream/gcc/testsuite/gcc.c-torture/compile/pr39937.c

int foo (__const char *__restrict __s);
static void 
read_anisou(char line[])
{
  foo (line+1);
}
void
read_pdbfile(void)
{
  char line[4096];
  read_anisou (line);
}