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