Infer whether a variable is assigned

src/variables.h

Index: src/variables.h
diff --git a/src/variables.h b/src/variables.h
index de209d871d56da5b77588b2eaeeec1ae5b484be5..e6c2086818fe89be51687d9e31ac531ba28ee9fd 100644
--- a/src/variables.h
+++ b/src/variables.h
@@ -80,7 +80,13 @@ class Variable: public ZoneObject {
     force_context_allocation_ = true;
   }
   bool is_used() { return is_used_; }
-  void set_is_used(bool flag) { is_used_ = flag; }
+  void set_is_used() { is_used_ = true; }
+  bool is_assigned_in_inner_function() {

[titzer, 2014/06/23 13:03:19]

may_be_assigned_in_inner_function() ?

[rossberg, 2014/06/24 13:40:43]

Done.

+    return is_assigned_in_inner_function_;
+  }
+  void set_is_assigned_in_inner_function() {
+    is_assigned_in_inner_function_ = true;
+  }
 
   int initializer_position() { return initializer_position_; }
   void set_initializer_position(int pos) { initializer_position_ = pos; }
@@ -155,6 +161,7 @@ class Variable: public ZoneObject {
   // Usage info.
   bool force_context_allocation_;  // set by variable resolver
   bool is_used_;
+  bool is_assigned_in_inner_function_;
   InitializationFlag initialization_flag_;
 
   // Module type info.