1extern void abort (void);
2int __attribute__((noinline,noclone))
3foo (char *p)
4{
5  int h = 0;
6  do
7    {
8      if (*p == '\0')
9	break;
10      ++h;
11      if (p == 0)
12	abort ();
13      ++p;
14    }
15  while (1);
16  return h;
17}
18int main()
19{
20  if (foo("a") != 1)
21    abort ();
22  return 0;
23}
24