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