1/* { dg-do compile } */
2/* { dg-options "-O2" } */
3__inline __attribute__ ((__always_inline__)) char *
4strcpy (char *__dest, __const char *__src)
5{
6  return __builtin___strcpy_chk (__dest, __src, __builtin_object_size (__dest, 2 > 1));
7}
8
9const char* get_attr(unsigned attr)
10{
11    static char tmp[256];
12
13    strcpy(tmp, "");
14    return tmp;
15}
16