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