---

yaml
---
r: 147677
b: refs/heads/try2
c: 111e167
h: refs/heads/master
i:
  147675: d74f1fb
v: v3

Author: pcwalton

[refs]

@@ -5,7 +5,7 @@ refs/heads/snap-stage3: 78a7676898d9f80ab540c6df5d4c9ce35bb50463
 refs/heads/try: 519addf6277dbafccbb4159db4b710c37eaa2ec5
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
-refs/heads/try2: 460305749c3b8c0a0726f490e7669f8259e6bbb9
+refs/heads/try2: 111e167f48bd2e850e33828f2cb8837ce0da44a7
 refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try2/src/librustc/middle/borrowck/move_data.rs

@@ -43,7 +43,7 @@ pub struct MoveData {
     /// Assignments to a variable, like `x = foo`. These are assigned
     /// bits for dataflow, since we must track them to ensure that
     /// immutable variables are assigned at most once along each path.
-    var_assignments: ~[Assignment],
+    var_assignments: RefCell<~[Assignment]>,
 
     /// Assignments to a path, like `x.f = foo`. These are not
     /// assigned dataflow bits, but we track them because they still
@@ -169,7 +169,7 @@ impl MoveData {
             path_map: RefCell::new(HashMap::new()),
             moves: RefCell::new(~[]),
             path_assignments: RefCell::new(~[]),
-            var_assignments: ~[],
+            var_assignments: RefCell::new(~[]),
             assignee_ids: HashSet::new(),
         }
     }
@@ -404,10 +404,11 @@ impl MoveData {
         };
 
         if self.is_var_path(path_index) {
+            let mut var_assignments = self.var_assignments.borrow_mut();
             debug!("add_assignment[var](lp={}, assignment={}, path_index={:?})",
-                   lp.repr(tcx), self.var_assignments.len(), path_index);
+                   lp.repr(tcx), var_assignments.get().len(), path_index);
 
-            self.var_assignments.push(assignment);
+            var_assignments.get().push(assignment);
         } else {
             debug!("add_assignment[path](lp={}, path_index={:?})",
                    lp.repr(tcx), path_index);
@@ -438,9 +439,12 @@ impl MoveData {
             }
         }
 
-        for (i, assignment) in self.var_assignments.iter().enumerate() {
-            dfcx_assign.add_gen(assignment.id, i);
-            self.kill_moves(assignment.path, assignment.id, dfcx_moves);
+        {
+            let var_assignments = self.var_assignments.borrow();
+            for (i, assignment) in var_assignments.get().iter().enumerate() {
+                dfcx_assign.add_gen(assignment.id, i);
+                self.kill_moves(assignment.path, assignment.id, dfcx_moves);
+            }
         }
 
         {
@@ -470,14 +474,18 @@ impl MoveData {
         }
 
         // Kill all assignments when the variable goes out of scope:
-        for (assignment_index, assignment) in self.var_assignments.iter().enumerate() {
-            match *self.path_loan_path(assignment.path) {
-                LpVar(id) => {
-                    let kill_id = tcx.region_maps.encl_scope(id);
-                    dfcx_assign.add_kill(kill_id, assignment_index);
-                }
-                LpExtend(..) => {
-                    tcx.sess.bug("Var assignment for non var path");
+        {
+            let var_assignments = self.var_assignments.borrow();
+            for (assignment_index, assignment) in
+                    var_assignments.get().iter().enumerate() {
+                match *self.path_loan_path(assignment.path) {
+                    LpVar(id) => {
+                        let kill_id = tcx.region_maps.encl_scope(id);
+                        dfcx_assign.add_kill(kill_id, assignment_index);
+                    }
+                    LpExtend(..) => {
+                        tcx.sess.bug("Var assignment for non var path");
+                    }
                 }
             }
         }
@@ -560,12 +568,14 @@ impl FlowedMoveData {
                                  id_range,
                                  moves.get().len())
         };
-        let mut dfcx_assign =
+        let mut dfcx_assign = {
+            let var_assignments = move_data.var_assignments.borrow();
             DataFlowContext::new(tcx,
                                  method_map,
                                  AssignDataFlowOperator,
                                  id_range,
-                                 move_data.var_assignments.len());
+                                 var_assignments.get().len())
+        };
         move_data.add_gen_kills(tcx, &mut dfcx_moves, &mut dfcx_assign);
         dfcx_moves.propagate(body);
         dfcx_assign.propagate(body);
@@ -681,7 +691,8 @@ impl FlowedMoveData {
         };
 
         self.dfcx_assign.each_bit_on_entry_frozen(id, |index| {
-            let assignment = &self.move_data.var_assignments[index];
+            let var_assignments = self.move_data.var_assignments.borrow();
+            let assignment = &var_assignments.get()[index];
             if assignment.path == loan_path_index && !f(assignment) {
                 false
             } else {