JSTests/stress/spec-any-int-as-double-produces-any-int52-from-int52-rep.js

//@ runDefault("--useConcurrentJIT=0", "--validateAbstractInterpreterStateProbability=1.0", "--validateAbstractInterpreterState=1")

function foo(a, v) {
    a[0] = v + 2000000000;
}
noInline(foo);

for (var i = 0; i < 100000; ++i) {
    foo({}, 1000000000);
}