1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -Wrestrict" } */
       3  
       4  static char *
       5  str_numth(char *dest, char *num, int type)
       6  {
       7    if (dest != num)
       8      __builtin_strcpy(dest, num); /* { dg-bogus "is the same" } */
       9    __builtin_strcat(dest, "foo");
      10    return dest;
      11  }
      12  
      13  void
      14  DCH_to_char(char *in, char *out, int collid)
      15  {
      16    char *s = out;
      17    str_numth(s, s, 42);
      18  }