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