-1:000000000000 | 0:6df0682f10c2 |
---|---|
1 // Binary: cache/js-dbg-32-f1764bf06b29-linux | |
2 // Flags: --ion-eager | |
3 // | |
4 | |
5 gcPreserveCode(); | |
6 function r() {} | |
7 gczeal(2); | |
8 evaluate(""); | |
9 evaluate("\ | |
10 function randomFloat () {\ | |
11 if (r < 0.25)\ | |
12 fac = 10000000;\ | |
13 }\ | |
14 for (var i = 0; i < 2000; i++)\ | |
15 randomFloat();\ | |
16 "); |