| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -Wrestrict" } */ | |
| static char * | |
| str_numth(char *dest, char *num, int type) | |
| { | |
| if (dest != num) | |
| __builtin_strcpy(dest, num); /* { dg-bogus "is the same" } */ | |
| __builtin_strcat(dest, "foo"); | |
| return dest; | |
| } | |
| void | |
| DCH_to_char(char *in, char *out, int collid) | |
| { | |
| char *s = out; | |
| str_numth(s, s, 42); | |
| } |