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(); }