bug680432.js (1029B)
1 function f0(p0) { 2 var v0 = 0.5; 3 var v1 = 1.5; 4 var v2 = 2.5; 5 var v3 = 3.5; 6 var v4 = 4.5; 7 var v5 = 5.5; 8 var v6 = 6.5; 9 var v7 = 7.5; 10 var v8 = 8.5; 11 var v9 = 9.5; 12 var v10 = 10.5; 13 var v11 = 11.5; 14 var v12 = 12.5; 15 var v13 = 13.5; 16 var v14 = 14.5; 17 var v15 = 15.5; 18 var v16 = 16.5; 19 // 0.125 is used to avoid the oracle choice for int32. 20 while (0) { 21 // p0 = false; 22 var tmp = v0; 23 v0 = 0.125 + v0 + v1; 24 v1 = 0.125 + v1 + v2; 25 v2 = 0.125 + v2 + v3; 26 v3 = 0.125 + v3 + v4; 27 v4 = 0.125 + v4 + v5; 28 v5 = 0.125 + v5 + v6; 29 v6 = 0.125 + v6 + v7; 30 v7 = 0.125 + v7 + v8; 31 v8 = 0.125 + v8 + v9; 32 v9 = 0.125 + v9 + v10; 33 v10 = 0.125 + v10 + v11; 34 v11 = 0.125 + v11 + v12; 35 v12 = 0.125 + v12 + v13; 36 v13 = 0.125 + v13 + v14; 37 v14 = 0.125 + v14 + v15; 38 v15 = 0.125 + v15 + v16; 39 v16 = 0.125 + v16 + tmp; 40 } 41 return 0.5 + v0 + v1 + v2 + v3 + v4 + v5 + v6 + v7 + v8 + v9 + v10 + v11 + v12 + v13 + v14 + v15 + v16; 42 } 43 44 // expect 145 45 assertEq(f0(false), 145);