1extern int inside_main;
2extern void abort(void);
3
4__attribute__ ((__noinline__))
5char *
6strcat (char *dst, const char *src)
7{
8  char *p = dst;
9
10#ifdef __OPTIMIZE__
11  if (inside_main)
12    abort ();
13#endif
14
15  while (*p)
16    p++;
17  while ((*p++ = *src++))
18    ;
19  return dst;
20}
21