foo()1 foo ()
2 {
3   return 0;
4 }
5 
main()6 main()
7 {
8   int i, j, k, ccp_bad = 0;
9 
10   for (i = 0; i < 10; i++)
11     {
12       for (j = 0; j < 10; j++)
13 	if (foo ())
14 	  ccp_bad = 1;
15 
16       k = ccp_bad != 0;
17       if (k)
18 	abort ();
19     }
20 
21   exit (0);
22 }
23