blob: 5d1f009009bfd16cce34ce076f23159ffe63933d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
extern int f2(void);
extern int f3(void);
extern void f1(void);
void
ff(int fname, int part, int nparts)
{
if (fname) /* bb 0 */
{
if (nparts) /* bb 1 */
f1(); /* bb 2 */
}
else
fname = 2; /* bb 3 */
/* bb 4 is the branch to bb 10
(bb 10 is physically at the end of the loop) */
while (f3() /* bb 10 */)
{
if (nparts /* bb 5 */ && f2() /* bb 6 */)
{
f1(); /* bb 7 ... */
nparts = part;
if (f3()) /* ... bb 7 */
f1(); /* bb 8 */
f1(); /* bb 9 */
break;
}
}
if (nparts) /* bb 11 */
f1(); /* bb 12 */
return; /* bb 13 */
}
int main(void)
{
ff(0, 1, 0);
return 0;
}
int f3(void) { static int x = 0; x = !x; return x; }
void f1(void) { abort(); }
int f2(void) { abort(); }
|
