1extern void abort (void);
2extern int inside_main;
3
4__attribute__ ((__noinline__))
5char *
6strcpy (char *d, const char *s)
7{
8  char *r = d;
9#if defined __OPTIMIZE__ && !defined __OPTIMIZE_SIZE__
10  if (inside_main)
11    abort ();
12#endif
13  while ((*d++ = *s++));
14  return r;
15}
16