Commit 3d85b86e authored by marja@chromium.org's avatar marja@chromium.org

Lazy preparsing vs. lazy parsing fix.

Preparsing is always maximally lazy (every function that can be lazy is preparsed
lazily), but Parser has more complicated laziness logic.

If we're going to parse eagerly, and we have preparse data from lazy preparsing,
we're gonna have a bad time. The symbol stream won't contain symbols inside lazy
functions, and when the Parser parses them eagerly, it will consume symbols from
the symbol stream, and everything will go wrong.

This bug was hidden because the symbol cache was not used for real (see
https://codereview.chromium.org/172753002/ ).

R=ulan@chromium.org
BUG=346207
LOG=Y

Review URL: https://codereview.chromium.org/177973002

git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@19532 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
parent 37b6fd07
...@@ -789,6 +789,13 @@ static Handle<SharedFunctionInfo> CompileToplevel(CompilationInfo* info) { ...@@ -789,6 +789,13 @@ static Handle<SharedFunctionInfo> CompileToplevel(CompilationInfo* info) {
String::cast(script->source())->length() > FLAG_min_preparse_length) && String::cast(script->source())->length() > FLAG_min_preparse_length) &&
!DebuggerWantsEagerCompilation(info); !DebuggerWantsEagerCompilation(info);
if (!parse_allow_lazy && info->pre_parse_data() != NULL) {
// We are going to parse eagerly, but we have preparse data produced by lazy
// preparsing. We cannot use it, since it won't contain all the symbols we
// need for eager parsing.
info->SetPreParseData(NULL);
}
Handle<SharedFunctionInfo> result; Handle<SharedFunctionInfo> result;
{ VMState<COMPILER> state(info->isolate()); { VMState<COMPILER> state(info->isolate());
......
...@@ -7700,4 +7700,39 @@ TEST(LiveEditDisabled) { ...@@ -7700,4 +7700,39 @@ TEST(LiveEditDisabled) {
} }
TEST(PrecompiledFunction) {
// Regression test for crbug.com/346207. If we have preparse data, parsing the
// function in the presence of the debugger (and breakpoints) should still
// succeed. The bug was that preparsing was done lazily and parsing was done
// eagerly, so, the symbol streams didn't match.
DebugLocalContext env;
v8::HandleScope scope(env->GetIsolate());
env.ExposeDebug();
v8::Debug::SetDebugEventListener2(DebugBreakInlineListener);
v8::Local<v8::Function> break_here =
CompileFunction(&env, "function break_here(){}", "break_here");
SetBreakPoint(break_here, 0);
const char* source =
"var a = b = c = 1; \n"
"function this_is_lazy() { \n"
// This symbol won't appear in the preparse data.
" var a; \n"
"} \n"
"function bar() { \n"
" return \"bar\"; \n"
"}; \n"
"a = b = c = 2; \n"
"bar(); \n";
v8::Local<v8::Value> result = PreCompileCompileRun(source);
CHECK(result->IsString());
v8::String::Utf8Value utf8(result);
CHECK_EQ("bar", *utf8);
v8::Debug::SetDebugEventListener2(NULL);
CheckDebuggerUnloaded();
}
#endif // ENABLE_DEBUGGER_SUPPORT #endif // ENABLE_DEBUGGER_SUPPORT
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment