xref: /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/gcc.c-torture/execute/20011128-1.c

main()
{
  char blah[33] = "01234567890123456789";
  exit (0);
}