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