Source code
Revision control
Copy as Markdown
Other Tools
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++);
}