Undo change 29900

runtime/vm/parser.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/parser.h"
 
 #include "lib/invocation_mirror.h"
-#include "platform/utils.h"
-#include "vm/ast.h"
+#include "vm/bigint_operations.h"
 #include "vm/bootstrap.h"
 #include "vm/class_finalizer.h"
 #include "vm/compiler.h"
 #include "vm/compiler_stats.h"
 #include "vm/dart_api_impl.h"
 #include "vm/dart_entry.h"
 #include "vm/flags.h"
 #include "vm/growable_array.h"
-#include "vm/handles.h"
-#include "vm/heap.h"
-#include "vm/isolate.h"
 #include "vm/longjump.h"
-#include "vm/native_arguments.h"
 #include "vm/native_entry.h"
 #include "vm/object.h"
 #include "vm/object_store.h"
-#include "vm/os.h"
 #include "vm/resolver.h"
-#include "vm/scanner.h"
 #include "vm/scopes.h"
 #include "vm/stack_frame.h"
-#include "vm/timer.h"
 #include "vm/symbols.h"
-#include "vm/zone.h"
 
 namespace dart {
 
 DEFINE_FLAG(bool, enable_asserts, false, "Enable assert statements.");
 DEFINE_FLAG(bool, enable_type_checks, false, "Enable type checks.");
 DEFINE_FLAG(bool, trace_parser, false, "Trace parser operations.");
 DEFINE_FLAG(bool, warning_as_error, false, "Treat warnings as errors.");
 DEFINE_FLAG(bool, silent_warnings, false, "Silence warnings.");
 DEFINE_FLAG(bool, warn_mixin_typedef, true, "Warning on legacy mixin typedef");
 DECLARE_FLAG(bool, error_on_bad_type);
@@ skipping 998 matching lines @@
     // Generate code returning the field value.
     ReturnNode* return_node =
         new ReturnNode(ident_pos,
                        new LoadStaticFieldNode(ident_pos, field));
     current_block_->statements->Add(return_node);
   }
   return CloseBlock();
 }
 
 
-LocalVariable* Parser::EnsureLocalVariable(const String& name) {
-  LocalVariable* variable = current_block_->scope->LocalLookupVariable(name);
-  if (variable == NULL) {
-    variable = new LocalVariable(TokenPos(), name,
-                                 Type::ZoneHandle(Type::DynamicType()));
-    current_block_->scope->AddVariable(variable);
-  }
-  return variable;
-}
-
-
 SequenceNode* Parser::ParseStaticInitializer(const Function& func) {
   TRACE_PARSER("ParseStaticInitializer");
   ParamList params;
   ASSERT(func.num_fixed_parameters() == 0);  // static.
   ASSERT(!func.HasOptionalParameters());
   ASSERT(AbstractType::Handle(func.result_type()).IsResolved());
 
   // Build local scope for function and populate with the formal parameters.
   OpenFunctionBlock(func);
   AddFormalParamsToScope(&params, current_block_->scope);
 
   // Move forward to the start of the initializer expression.
   ExpectIdentifier("identifier expected");
   ExpectToken(Token::kASSIGN);
   intptr_t token_pos = TokenPos();
 
   // Synthesize a try-catch block to wrap the initializer expression.
   LocalVariable* context_var =
-      EnsureLocalVariable(Symbols::SavedTryContextVar());
-  LocalVariable* exception_var = EnsureLocalVariable(Symbols::ExceptionVar());
-  LocalVariable* stack_trace_var =
-      EnsureLocalVariable(Symbols::StackTraceVar());
+      current_block_->scope->LocalLookupVariable(Symbols::SavedTryContextVar());
+  if (context_var == NULL) {
+    context_var = new LocalVariable(token_pos,
+                                    Symbols::SavedTryContextVar(),
+                                    Type::ZoneHandle(Type::DynamicType()));
+    current_block_->scope->AddVariable(context_var);
+  }
+  LocalVariable* catch_excp_var =
+      current_block_->scope->LocalLookupVariable(Symbols::ExceptionVar());
+  if (catch_excp_var == NULL) {
+    catch_excp_var = new LocalVariable(token_pos,
+                                       Symbols::ExceptionVar(),
+                                       Type::ZoneHandle(Type::DynamicType()));
+    current_block_->scope->AddVariable(catch_excp_var);
+  }
+  LocalVariable* catch_trace_var =
+      current_block_->scope->LocalLookupVariable(Symbols::StacktraceVar());
+  if (catch_trace_var == NULL) {
+    catch_trace_var = new LocalVariable(token_pos,
+                                        Symbols::StacktraceVar(),
+                                        Type::ZoneHandle(Type::DynamicType()));
+    current_block_->scope->AddVariable(catch_trace_var);
+  }
 
   OpenBlock();  // Start try block.
   AstNode* expr = ParseExpr(kAllowConst, kConsumeCascades);
   const Field& field = Field::ZoneHandle(func.saved_static_field());
   ASSERT(!field.is_const());
   StoreStaticFieldNode* store = new StoreStaticFieldNode(field.token_pos(),
                                                          field,
                                                          expr);
   current_block_->statements->Add(store);
   SequenceNode* try_block = CloseBlock();  // End try block.
@@ skipping 14 matching lines @@
   store_null->Add(new StoreStaticFieldNode(
       field.token_pos(),
       field,
       new LiteralNode(token_pos, Instance::ZoneHandle())));
   AstNode* transition_sentinel_check =
       new IfNode(token_pos, compare_transition_sentinel, store_null, NULL);
   current_block_->statements->Add(transition_sentinel_check);
 
   current_block_->statements->Add(
       new ThrowNode(token_pos,
-                    new LoadLocalNode(token_pos, exception_var),
-                    new LoadLocalNode(token_pos, stack_trace_var)));
+                    new LoadLocalNode(token_pos, catch_excp_var),
+                    new LoadLocalNode(token_pos, catch_trace_var)));
   current_block_->statements->Add(
       new JumpNode(token_pos, Token::kCONTINUE, end_catch_label));
   SequenceNode* catch_clause = CloseBlock();  // End catch clause.
 
   current_block_->statements->Add(catch_clause);
   SequenceNode* catch_handler_list = CloseBlock();  // End catch handler list.
   CatchClauseNode* catch_block =
       new CatchClauseNode(token_pos,
                           catch_handler_list,
                           Array::ZoneHandle(Object::empty_array().raw()),
                           context_var,
-                          exception_var,
-                          stack_trace_var,
+                          catch_excp_var,
+                          catch_trace_var,
                           CatchClauseNode::kInvalidTryIndex,
                           false);  // No stack trace needed.
 
   AstNode* try_catch_node = new TryCatchNode(token_pos,
                                              try_block,
                                              end_catch_label,
                                              context_var,
                                              catch_block,
                                              NULL,  // No finally block.
                                              AllocateTryIndex());
@@ skipping 5532 matching lines @@
   condition = InsertClosureCallNodes(condition);
   condition = new UnaryOpNode(condition_pos, Token::kNOT, condition);
   AstNode* assert_throw = MakeAssertCall(condition_pos, condition_end);
   return new IfNode(condition_pos,
                     condition,
                     NodeAsSequenceNode(condition_pos, assert_throw, NULL),
                     NULL);
 }
 
 
-struct CatchParameter {
-  CatchParameter()
-      : token_pos(0), type(AbstractType::ZoneHandle()), name(NULL), var(NULL) {
-  }
+struct CatchParamDesc {
+  CatchParamDesc()
+      : token_pos(0), type(NULL), var(NULL) { }
   intptr_t token_pos;
-  AbstractType& type;
-  const String* name;
-  LocalVariable* var;
+  const AbstractType* type;
+  const String* var;
 };
 
 
 // Populate local scope of the catch block with the catch parameters.
-void Parser::AddCatchParametersToScope(CatchParameter* exception_param,
-                                       CatchParameter* stack_trace_param,
-                                       LocalScope* scope) {
-  if (exception_param->name != NULL) {
-    LocalVariable* var = new LocalVariable(exception_param->token_pos,
-                                           *exception_param->name,
-                                           exception_param->type);
+void Parser::AddCatchParamsToScope(const CatchParamDesc& exception_param,
+                                   const CatchParamDesc& stack_trace_param,
+                                   LocalScope* scope) {
+  if (exception_param.var != NULL) {
+    LocalVariable* var = new LocalVariable(exception_param.token_pos,
+                                           *exception_param.var,
+                                           *exception_param.type);
     var->set_is_final();
     bool added_to_scope = scope->AddVariable(var);
     ASSERT(added_to_scope);
-    exception_param->var = var;
   }
-  if (stack_trace_param->name != NULL) {
-    LocalVariable* var = new LocalVariable(stack_trace_param->token_pos,
-                                           *stack_trace_param->name,
-                                           stack_trace_param->type);
+  if (stack_trace_param.var != NULL) {
+    LocalVariable* var = new LocalVariable(TokenPos(),
+                                           *stack_trace_param.var,
+                                           *stack_trace_param.type);
     var->set_is_final();
     bool added_to_scope = scope->AddVariable(var);
     if (!added_to_scope) {
-      ErrorMsg(stack_trace_param->token_pos,
+      ErrorMsg(stack_trace_param.token_pos,
                "name '%s' already exists in scope",
-               stack_trace_param->name->ToCString());
+               stack_trace_param.var->ToCString());
     }
-    stack_trace_param->var = var;
   }
 }
 
 
 SequenceNode* Parser::ParseFinallyBlock() {
   TRACE_PARSER("ParseFinallyBlock");
   OpenBlock();
   ExpectToken(Token::kLBRACE);
   ParseStatementSequence();
   ExpectToken(Token::kRBRACE);
@@ skipping 51 matching lines @@
   } else {
     ASSERT(node->IsJumpNode());
     node->AsJumpNode()->AddInlinedFinallyNode(finally_node);
   }
 }
 
 
 AstNode* Parser::ParseTryStatement(String* label_name) {
   TRACE_PARSER("ParseTryStatement");
 
-  // We create three local variables for exceptions here:
-  // ':saved_try_context_var' - Used to save the context before start of the
-  //                            try block. The context register is restored
-  //                            from this slot before processing the catch
-  //                            block handler.
+  // We create three stack slots for exceptions here:
+  // ':saved_try_context_var' - Used to save the context before start of the try
+  //                            block. The context register is restored from
+  //                            this slot before processing the catch block
+  //                            handler.
   // ':exception_var' - Used to save the current exception object that was
   //                    thrown.
-  // ':stack_trace_var' - Used to save the current stack trace object into
-  //                      which the stack trace was copied into when an
-  //                      exception was thrown.
-  // :exception_var and :stack_trace_var get set with the exception object
-  // and the stack trace object when an exception is thrown.  These three
-  // implicit variables can never be captured variables.
+  // ':stacktrace_var' - Used to save the current stack trace object into which
+  //                     the stack trace was copied into when an exception was
+  //                     thrown.
+  // :exception_var and :stacktrace_var get set with the exception object
+  // and the stacktrace object when an exception is thrown.
+  // These three implicit variables can never be captured variables.
   LocalVariable* context_var =
-      EnsureLocalVariable(Symbols::SavedTryContextVar());
-  LocalVariable* exception_var = EnsureLocalVariable(Symbols::ExceptionVar());
-  LocalVariable* stack_trace_var =
-      EnsureLocalVariable(Symbols::StackTraceVar());
+      current_block_->scope->LocalLookupVariable(Symbols::SavedTryContextVar());
+  if (context_var == NULL) {
+    context_var = new LocalVariable(TokenPos(),
+                                    Symbols::SavedTryContextVar(),
+                                    Type::ZoneHandle(Type::DynamicType()));
+    current_block_->scope->AddVariable(context_var);
+  }
+  LocalVariable* catch_excp_var =
+      current_block_->scope->LocalLookupVariable(Symbols::ExceptionVar());
+  if (catch_excp_var == NULL) {
+    catch_excp_var = new LocalVariable(TokenPos(),
+                                       Symbols::ExceptionVar(),
+                                       Type::ZoneHandle(Type::DynamicType()));
+    current_block_->scope->AddVariable(catch_excp_var);
+  }
+  LocalVariable* catch_trace_var =
+      current_block_->scope->LocalLookupVariable(Symbols::StacktraceVar());
+  if (catch_trace_var == NULL) {
+    catch_trace_var = new LocalVariable(TokenPos(),
+                                        Symbols::StacktraceVar(),
+                                        Type::ZoneHandle(Type::DynamicType()));
+    current_block_->scope->AddVariable(catch_trace_var);
+  }
 
   const intptr_t try_pos = TokenPos();
   ConsumeToken();  // Consume the 'try'.
 
   SourceLabel* try_label = NULL;
   if (label_name != NULL) {
     try_label = SourceLabel::New(try_pos, label_name, SourceLabel::kStatement);
     OpenBlock();
     current_block_->scope->AddLabel(try_label);
   }
@@ skipping 10 matching lines @@
   if ((CurrentToken() != Token::kCATCH) && !IsLiteral("on") &&
       (CurrentToken() != Token::kFINALLY)) {
     ErrorMsg("catch or finally clause expected");
   }
 
   // Now create a label for the end of catch block processing so that we can
   // jump over the catch block code after executing the try block.
   SourceLabel* end_catch_label =
       SourceLabel::New(TokenPos(), NULL, SourceLabel::kCatch);
 
-  // Now parse the 'catch' blocks if any and merge all of them into an
-  // if-then sequence of the different types specified using the 'is'
+  // Now parse the 'catch' blocks if any and merge all of them into
+  // an if-then sequence of the different types specified using the 'is'
   // operator.
   bool generic_catch_seen = false;
   const intptr_t handler_pos = TokenPos();
   OpenBlock();  // Start the catch block sequence.
   current_block_->scope->AddLabel(end_catch_label);
   const GrowableObjectArray& handler_types =
       GrowableObjectArray::Handle(GrowableObjectArray::New());
-  bool needs_stack_trace = false;
+  bool needs_stacktrace = false;
   while ((CurrentToken() == Token::kCATCH) || IsLiteral("on")) {
     const intptr_t catch_pos = TokenPos();
-    CatchParameter exception_param;
-    CatchParameter stack_trace_param;
+    CatchParamDesc exception_param;
+    CatchParamDesc stack_trace_param;
     if (IsLiteral("on")) {
       ConsumeToken();
-      exception_param.type = ParseType(ClassFinalizer::kCanonicalize);
+      exception_param.type = &AbstractType::ZoneHandle(
+          ParseType(ClassFinalizer::kCanonicalize));
     } else {
-      exception_param.type = Type::DynamicType();
+      exception_param.type =
+          &AbstractType::ZoneHandle(Type::DynamicType());
     }
     if (CurrentToken() == Token::kCATCH) {
       ConsumeToken();  // Consume the 'catch'.
       ExpectToken(Token::kLPAREN);
       exception_param.token_pos = TokenPos();
-      exception_param.name = ExpectIdentifier("identifier expected");
+      exception_param.var = ExpectIdentifier("identifier expected");
       if (CurrentToken() == Token::kCOMMA) {
         ConsumeToken();
         // TODO(hausner): Make implicit type be StackTrace, not dynamic.
-        stack_trace_param.type = Type::DynamicType();
+        stack_trace_param.type =
+            &AbstractType::ZoneHandle(Type::DynamicType());
         stack_trace_param.token_pos = TokenPos();
-        stack_trace_param.name = ExpectIdentifier("identifier expected");
+        stack_trace_param.var = ExpectIdentifier("identifier expected");
       }
       ExpectToken(Token::kRPAREN);
     }
 
-    // Parse the individual catch handler code and add an unconditional JUMP
-    // to the end of the try block.
+    // Parse the individual catch handler code and add an unconditional
+    // JUMP to the end of the try block.
     ExpectToken(Token::kLBRACE);
     OpenBlock();
-    AddCatchParametersToScope(&exception_param, &stack_trace_param,
-                              current_block_->scope);
+    AddCatchParamsToScope(exception_param,
+                          stack_trace_param,
+                          current_block_->scope);
 
     if (exception_param.var != NULL) {
       // Generate code to load the exception object (:exception_var) into
       // the exception variable specified in this block.
-      ASSERT(exception_var != NULL);
+      LocalVariable* var = LookupLocalScope(*exception_param.var);
+      ASSERT(var != NULL);
+      ASSERT(catch_excp_var != NULL);
       current_block_->statements->Add(
-          new StoreLocalNode(catch_pos, exception_param.var,
-                             new LoadLocalNode(catch_pos, exception_var)));
+          new StoreLocalNode(catch_pos, var,
+                             new LoadLocalNode(catch_pos, catch_excp_var)));
     }
     if (stack_trace_param.var != NULL) {
       // A stack trace variable is specified in this block, so generate code
-      // to load the stack trace object (:stack_trace_var) into the stack
-      // trace variable specified in this block.
-      needs_stack_trace = true;
+      // to load the stack trace object (:stacktrace_var) into the stack trace
+      // variable specified in this block.
+      needs_stacktrace = true;
       ArgumentListNode* no_args = new ArgumentListNode(catch_pos);
-      ASSERT(stack_trace_var != NULL);
+      LocalVariable* trace = LookupLocalScope(*stack_trace_param.var);
+      ASSERT(catch_trace_var != NULL);
       current_block_->statements->Add(
-          new StoreLocalNode(catch_pos, stack_trace_param.var,
-                             new LoadLocalNode(catch_pos, stack_trace_var)));
+          new StoreLocalNode(catch_pos, trace,
+                             new LoadLocalNode(catch_pos, catch_trace_var)));
       current_block_->statements->Add(
           new InstanceCallNode(
               catch_pos,
-              new LoadLocalNode(catch_pos, stack_trace_param.var),
+              new LoadLocalNode(catch_pos, trace),
               Library::PrivateCoreLibName(Symbols::_setupFullStackTrace()),
               no_args));
     }
 
     ParseStatementSequence();  // Parse the catch handler code.
     current_block_->statements->Add(
         new JumpNode(catch_pos, Token::kCONTINUE, end_catch_label));
     SequenceNode* catch_handler = CloseBlock();
     ExpectToken(Token::kRBRACE);
 
-    const bool is_bad_type = exception_param.type.IsMalformed() ||
-                             exception_param.type.IsMalbounded();
-    if (!is_bad_type && !exception_param.type.IsDynamicType()) {
+    const bool is_bad_type = exception_param.type->IsMalformed() ||
+                             exception_param.type->IsMalbounded();
+    if (!is_bad_type && !exception_param.type->IsDynamicType()) {
       // Has a type specification that is not malformed or malbounded.
       // Now form an 'if type check' as an exception type exists in the
       // catch specifier.
-      if (!exception_param.type.IsInstantiated() &&
+      if (!exception_param.type->IsInstantiated() &&
           (current_block_->scope->function_level() > 0)) {
         // Make sure that the instantiator is captured.
         CaptureInstantiator();
       }
-      TypeNode* exception_type = new TypeNode(catch_pos, exception_param.type);
-      AstNode* exception_value = new LoadLocalNode(catch_pos, exception_var);
+      TypeNode* exception_type = new TypeNode(catch_pos, *exception_param.type);
+      AstNode* exception_var = new LoadLocalNode(catch_pos, catch_excp_var);
       if (!exception_type->type().IsInstantiated()) {
         EnsureExpressionTemp();
       }
       AstNode* type_cond_expr = new ComparisonNode(
-          catch_pos, Token::kIS, exception_value, exception_type);
+          catch_pos, Token::kIS, exception_var, exception_type);
       current_block_->statements->Add(
           new IfNode(catch_pos, type_cond_expr, catch_handler, NULL));
 
-      // Do not add uninstantiated types (e.g. type parameter T or generic
-      // type List<T>), since the debugger won't be able to instantiate it
-      // when walking the stack.  This means that the debugger is not able
-      // to determine whether an exception is caught if the catch clause
-      // uses generic types.  It will report the exception as uncaught when
-      // in fact it might be caught and handled when we unwind the stack.
-      if (exception_param.type.IsInstantiated()) {
-        handler_types.Add(exception_param.type);
+      // Do not add uninstantiated types (e.g. type parameter T or
+      // generic type List<T>), since the debugger won't be able to
+      // instantiate it when walking the stack.
+      // This means that the debugger is not able to determine whether
+      // an exception is caught if the catch clause uses generic types.
+      // It will report the exception as uncaught when in fact it might
+      // be caught and handled when we unwind the stack.
+      if (exception_param.type->IsInstantiated()) {
+        handler_types.Add(*exception_param.type);
       }
     } else {
       if (is_bad_type) {
         current_block_->statements->Add(ThrowTypeError(catch_pos,
-                                                       exception_param.type));
+                                                       *exception_param.type));
         // We still add the dead code below to satisfy the code generator.
       }
       // No exception type exists in the catch specifier so execute the
       // catch handler code unconditionally.
       current_block_->statements->Add(catch_handler);
       generic_catch_seen = true;
       // This catch clause will handle all exceptions. We can safely forget
       // all previous catch clause types.
       handler_types.SetLength(0);
-      handler_types.Add(exception_param.type);
+      handler_types.Add(*exception_param.type);
     }
   }
   SequenceNode* catch_handler_list = CloseBlock();
   TryBlocks* inner_try_block = PopTryBlock();
   const intptr_t try_index = inner_try_block->try_index();
   TryBlocks* outer_try_block = try_blocks_list_;
   const intptr_t outer_try_index = (outer_try_block != NULL)
       ? outer_try_block->try_index()
       : CatchClauseNode::kInvalidTryIndex;
 
@@ skipping 15 matching lines @@
                                                         outer_try_index);
       AddFinallyBlockToNode(node_to_inline, node);
       node_index += 1;
       node_to_inline = inner_try_block->GetNodeToInlineFinally(node_index);
       tokens_iterator_.SetCurrentPosition(finally_pos);
     }
     finally_block = ParseFinallyBlock();
   }
 
   if (!generic_catch_seen) {
-    // No generic catch handler exists so rethrow the exception so that the
-    // next catch handler can deal with it.
+    // No generic catch handler exists so rethrow the exception so that
+    // the next catch handler can deal with it.
     catch_handler_list->Add(
         new ThrowNode(handler_pos,
-                      new LoadLocalNode(handler_pos, exception_var),
-                      new LoadLocalNode(handler_pos, stack_trace_var)));
+                      new LoadLocalNode(handler_pos, catch_excp_var),
+                      new LoadLocalNode(handler_pos, catch_trace_var)));
   }
   CatchClauseNode* catch_block =
       new CatchClauseNode(handler_pos,
                           catch_handler_list,
                           Array::ZoneHandle(Array::MakeArray(handler_types)),
                           context_var,
-                          exception_var,
-                          stack_trace_var,
+                          catch_excp_var,
+                          catch_trace_var,
                           (finally_block != NULL)
                               ? AllocateTryIndex()
                               : CatchClauseNode::kInvalidTryIndex,
-                          needs_stack_trace);
+                          needs_stacktrace);
 
-  // Now create the try/catch ast node and return it. If there is a label on
-  // the try/catch, close the block that's embedding the try statement and
-  // attach the label to it.
+  // Now create the try/catch ast node and return it. If there is a label
+  // on the try/catch, close the block that's embedding the try statement
+  // and attach the label to it.
   AstNode* try_catch_node =
       new TryCatchNode(try_pos, try_block, end_catch_label,
                        context_var, catch_block, finally_block, try_index);
 
   if (try_label != NULL) {
     current_block_->statements->Add(try_catch_node);
     SequenceNode* sequence = CloseBlock();
     sequence->set_label(try_label);
     try_catch_node = sequence;
   }
@@ skipping 147 matching lines @@
     ExpectSemicolon();
     // Check if it is ok to do a rethrow.
     SourceLabel* label = current_block_->scope->LookupInnermostCatchLabel();
     if (label == NULL ||
         label->FunctionLevel() != current_block_->scope->function_level()) {
       ErrorMsg(statement_pos, "rethrow of an exception is not valid here");
     }
     ASSERT(label->owner() != NULL);
     LocalScope* scope = label->owner()->parent();
     ASSERT(scope != NULL);
-    LocalVariable* exception_var =
+    LocalVariable* excp_var =
         scope->LocalLookupVariable(Symbols::ExceptionVar());
-    ASSERT(exception_var != NULL);
-    LocalVariable* stack_trace_var =
-        scope->LocalLookupVariable(Symbols::StackTraceVar());
-    ASSERT(stack_trace_var != NULL);
-    statement =
-        new ThrowNode(statement_pos,
-                      new LoadLocalNode(statement_pos, exception_var),
-                      new LoadLocalNode(statement_pos, stack_trace_var));
+    ASSERT(excp_var != NULL);
+    LocalVariable* trace_var =
+        scope->LocalLookupVariable(Symbols::StacktraceVar());
+    ASSERT(trace_var != NULL);
+    statement = new ThrowNode(statement_pos,
+                              new LoadLocalNode(statement_pos, excp_var),
+                              new LoadLocalNode(statement_pos, trace_var));
   } else {
     statement = ParseExpr(kAllowConst, kConsumeCascades);
     ExpectSemicolon();
   }
   return statement;
 }
 
 
 RawError* Parser::FormatErrorWithAppend(const Error& prev_error,
                                         const Script& script,
@@ skipping 3535 matching lines @@
 void Parser::SkipQualIdent() {
   ASSERT(IsIdentifier());
   ConsumeToken();
   if (CurrentToken() == Token::kPERIOD) {
     ConsumeToken();  // Consume the kPERIOD token.
     ExpectIdentifier("identifier expected after '.'");
   }
 }
 
 }  // namespace dart