1/* PR target/60693 */
2/* { dg-do compile } */
3/* { dg-options "-O0" } */
4
5void bar (char *);
6
7void
8foo (void)
9{
10  char buf[4096];
11  __builtin_memcpy (buf, (void *) 0x8000, 4096);
12  bar (buf);
13}
14