|
1 // Don't assert in the type analyzer. |
|
2 timeout(5); |
|
3 function f0(p0,p1,p2,p3) { |
|
4 var v0; |
|
5 var v1; |
|
6 var v2; |
|
7 var v3; |
|
8 var v4; |
|
9 var v5; |
|
10 var v6; |
|
11 do { |
|
12 continue; |
|
13 } while ((v1 ^ p2)); |
|
14 if (v5) { |
|
15 p3; |
|
16 while (p2) { |
|
17 p0; |
|
18 if (p2) { |
|
19 } else { |
|
20 break; |
|
21 v3 = p0; |
|
22 } |
|
23 p0; |
|
24 break; |
|
25 while (((v3 & v0) | p2)) { |
|
26 if (p2) { |
|
27 break; |
|
28 } |
|
29 } |
|
30 } |
|
31 } else { |
|
32 v2 = p1; |
|
33 v3 = p2; |
|
34 v4; |
|
35 ((p3 | p3) + (v1 + p1)); |
|
36 } |
|
37 v6 = (p0 + p3); |
|
38 v3 = v3; |
|
39 v2 = v1; |
|
40 while (((v3 & p0) + v1)) { |
|
41 v6 = (v5 + p1); |
|
42 while (((p3 + (v4 + v3)) + v6)) { |
|
43 v6 = (v2 | (v1 + (v0 | v2))); |
|
44 break; |
|
45 v3 = p0; |
|
46 v0; |
|
47 } |
|
48 do { |
|
49 while (p2) { |
|
50 } |
|
51 v3 = p0; |
|
52 do { |
|
53 v2 = v5; |
|
54 } while (p2); |
|
55 continue; |
|
56 } while ((((p2 & p2) & p0) + p2)); |
|
57 v2 = p0; |
|
58 v5 = v1; |
|
59 } |
|
60 v6 = (v4 & (v5 + v5)); |
|
61 } |
|
62 f0(0,0,0,0); |
|
63 |