1extern void abort (void); 2extern int inside_main; 3 4__attribute__ ((__noinline__)) 5char * 6strchr (const char *s, int c) 7{ 8#ifdef __OPTIMIZE__ 9 if (inside_main) 10 abort (); 11#endif 12 13 for (;;) 14 { 15 if (*s == c) 16 return (char *) s; 17 if (*s == 0) 18 return 0; 19 s++; 20 } 21} 22 23__attribute__ ((__noinline__)) 24char * 25index (const char *s, int c) 26{ 27 return strchr (s, c); 28} 29