blob: 514b934f32dab3693bb39c876bd71e553c9fea92 (
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
|
var verified = false;
function f(a) {
if (a < 10000)
return 5;
assertEq(g_fwd.caller.arguments.length, 0);
assertEq(h_fwd.caller.arguments.length, 0);
verified = true;
return 6;
}
function g_fwd(x) {
with({}) {};
return f(x);
}
function g(a) {
var x = a;
function inline() {
return g_fwd(x);
}
return inline();
}
function h_fwd(x) {
with({}) {};
return g(x);
}
function h(a) {
var x = a;
function inline() {
return h_fwd(x);
}
return inline();
}
var i = 0;
while (!verified) {
h(i++);
}
|