/* { dg-do compile } */
/* { dg-options "-O2" } */
__inline __attribute__ ((__always_inline__)) char *
strcpy (char *__dest, __const char *__src)
{
  return __builtin___strcpy_chk (__dest, __src, __builtin_object_size (__dest, 2 > 1));
}

const char* get_attr(unsigned attr)
{
    static char tmp[256];

    strcpy(tmp, "");
    return tmp;
}