| // Don't assert in the type analyzer. |
| timeout(5); |
| function f0(p0,p1,p2,p3) { |
| var v0; |
| var v1; |
| var v2; |
| var v3; |
| var v4; |
| var v5; |
| var v6; |
| do { |
| continue; |
| } while ((v1 ^ p2)); |
| if (v5) { |
| p3; |
| while (p2) { |
| p0; |
| if (p2) { |
| } else { |
| break; |
| v3 = p0; |
| } |
| p0; |
| break; |
| while (((v3 & v0) | p2)) { |
| if (p2) { |
| break; |
| } |
| } |
| } |
| } else { |
| v2 = p1; |
| v3 = p2; |
| v4; |
| ((p3 | p3) + (v1 + p1)); |
| } |
| v6 = (p0 + p3); |
| v3 = v3; |
| v2 = v1; |
| while (((v3 & p0) + v1)) { |
| v6 = (v5 + p1); |
| while (((p3 + (v4 + v3)) + v6)) { |
| v6 = (v2 | (v1 + (v0 | v2))); |
| break; |
| v3 = p0; |
| v0; |
| } |
| do { |
| while (p2) { |
| } |
| v3 = p0; |
| do { |
| v2 = v5; |
| } while (p2); |
| continue; |
| } while ((((p2 & p2) & p0) + p2)); |
| v2 = p0; |
| v5 = v1; |
| } |
| v6 = (v4 & (v5 + v5)); |
| } |
| f0(0,0,0,0); |
| |