6 ff(int fname, int part, int nparts)
10 if (nparts) /* bb 1 */
16 /* bb 4 is the branch to bb 10
17 (bb 10 is physically at the end of the loop) */
18 while (f3() /* bb 10 */)
20 if (nparts /* bb 5 */ && f2() /* bb 6 */)
24 if (f3()) /* ... bb 7 */
31 if (nparts) /* bb 11 */
42 int f3(void) { static int x = 0; x = !x; return x; }
43 void f1(void) { abort(); }
44 int f2(void) { abort(); }