[INFER] Fix bogus assert when restoring analysis types, bug 642254.

This commit is contained in:
Brian Hackett 2011-03-17 11:54:06 -07:00
parent be6137ab0f
commit e28643fdf7
2 changed files with 10 additions and 4 deletions

View File

@ -0,0 +1,4 @@
function f(i) {
for (var n = 0; n < 0; n = i) { }
}
actual = f(.5);

View File

@ -5704,16 +5704,18 @@ mjit::Compiler::restoreAnalysisTypes(uint32 stackDepth)
JSValueType type = knownLocalType(i);
if (type != JSVAL_TYPE_UNKNOWN && (type != JSVAL_TYPE_DOUBLE || !analysis->localEscapes(i))) {
FrameEntry *fe = frame.getLocal(i);
JS_ASSERT(!fe->isTypeKnown());
frame.learnType(fe, type, false);
JS_ASSERT_IF(fe->isTypeKnown(), fe->isType(type));
if (!fe->isTypeKnown())
frame.learnType(fe, type, false);
}
}
for (uint32 i = 0; fun && i < fun->nargs; i++) {
JSValueType type = knownArgumentType(i);
if (type != JSVAL_TYPE_UNKNOWN && (type != JSVAL_TYPE_DOUBLE || !analysis->argEscapes(i))) {
FrameEntry *fe = frame.getArg(i);
JS_ASSERT(!fe->isTypeKnown());
frame.learnType(fe, type, false);
JS_ASSERT_IF(fe->isTypeKnown(), fe->isType(type));
if (!fe->isTypeKnown())
frame.learnType(fe, type, false);
}
}
}