1 /* PR target/43636 */
2 
3 extern char a[], *b[];
4 
5 char *
foo(char * x,int y)6 foo (char *x, int y)
7 {
8   x = __builtin_stpcpy (x, b[a[y]]);
9   return x;
10 }
11