Fix context chaining to prevent memory leak (issue 7681).

runtime/vm/parser.cc

Index: runtime/vm/parser.cc
===================================================================
--- runtime/vm/parser.cc	(revision 16750)
+++ runtime/vm/parser.cc	(working copy)
@@ -186,17 +186,22 @@
                                scope,
                                &context_owner);
 
-  // If this function is not a closure function and if it contains captured
-  // variables, the context needs to be saved on entry and restored on exit.
+  // If this function allocates context variables, but none of its enclosing
+  // functions do, the context on entry is not linked as parent of the allocated
+  // context but saved on entry and restored on exit as to prevent memory leaks.

[Ivan Posva, 2013/01/07 22:19:11]

Please update the bug, but do not close it as we still need to ensure the
closures which do not need chained contexts do not remember the current context
on allocation.

[regis, 2013/01/07 22:24:01]

Done.

   // Add and allocate a local variable to this purpose.
-  if ((context_owner != NULL) && !function().IsClosureFunction()) {
-    LocalVariable* context_var =
-        new LocalVariable(function().token_pos(),
-                          Symbols::SavedEntryContextVar(),
-                          Type::ZoneHandle(Type::DynamicType()));
-    context_var->set_index(next_free_frame_index--);
-    scope->AddVariable(context_var);
-    set_saved_context_var(context_var);
+  if (context_owner != NULL) {
+    const ContextScope& context_scope =
+        ContextScope::Handle(function().context_scope());
+    if (context_scope.IsNull() || (context_scope.num_variables() == 0)) {
+      LocalVariable* context_var =
+          new LocalVariable(function().token_pos(),
+                            Symbols::SavedEntryContextVar(),
+                            Type::ZoneHandle(Type::DynamicType()));
+      context_var->set_index(next_free_frame_index--);
+      scope->AddVariable(context_var);
+      set_saved_context_var(context_var);
+    }
   }
 
   // Frame indices are relative to the frame pointer and are decreasing.